English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Have you forgotten your password?
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Non-standard logics for automated reasoning
Details
Publications
Statistics
Options
Show all metadata (technical view)
Title
Non-standard logics for automated reasoning
Editor(s)
Mandani, A.
Dubois, D.
Prade, H.
Person Involved
Publisher
Academic Press
Publishing Place
London
Publication Date
1988
ISBN
0-12-649520-3