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

Ejemplares similares

Ejemplares similares