English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
ASSIP-T - a theorem proving machine
Details
Full
Export
Statistics
Options
1985
Conference Paper
Titel
ASSIP-T - a theorem proving machine
Author(s)
Dilger, W.
Hauptwerk
9th International Joint Conference on Artificial Intelligence. IJCAI '85. Proceedings
Konferenz
International Joint Conference on Artificial Intelligence 1985
Language
English
google-scholar
View Details
IITB