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
Konferenzschrift
ASSIP-T - a theorem proving machine
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1985
Conference Paper
Title
ASSIP-T - a theorem proving machine
Author(s)
Dilger, W.
Mainwork
9th International Joint Conference on Artificial Intelligence. IJCAI '85. Proceedings
Conference
International Joint Conference on Artificial Intelligence 1985
Language
English
IITB
