Cargando…

A many-sorted calculus based on resolution and paramodulation /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Walther, Christoph
Formato:	Electrónico eBook
Idioma:	Inglés Alemán
Publicado:	London : Los Altos, Calif. : Pitman ; Morgan Kaufmann Publishers, 1987.
Colección:	Research notes in artificial intelligence (London, England)
Temas:	Automatic theorem proving. Artificial intelligence. Artificial Intelligence Th�eor�emes > D�emonstration automatique. Intelligence artificielle. artificial intelligence. Artificial intelligence Automatic theorem proving Mehrsortige Pr�adikatenlogik Automatisches Beweisverfahren K�unstliche Intelligenz Kunstmatige intelligentie. Redeneren. Bewijs (wetenschap) Theorems > Proof > Applications of computer systems
Acceso en línea:	Texto completo

Internet

Texto completo

Error inesperado del formato de respuesta.