English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Non-standard logics for automated reasoning
Information
Publications
Export
Statistics
Options
Title
Non-standard logics for automated reasoning
Hrsg
Mandani, A.
Dubois, D.
Prade, H.
Verlag
Academic Press
Verlagsort
London
Datum
1988