Automated deduction in classical and non-classical logics : selected papers /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Caferra, Ricardo, 1945-, Salzer, Gernot, 1963-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, 2000.
Series:	Lecture notes in computer science ; 1761. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving. Logic, Symbolic and mathematical. Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses. logique non classique. démonstration théorème. logique 1er ordre. déduction automatique. Théorèmes > Démonstration automatique. Logique symbolique et mathématique. Kunstmatige intelligentie. Logica. Automatische bewijsvoering. Logica matematica. Théorèmes > Démonstration automatique > Congrès. Stufe 1. Automatisches Beweisverfahren. Prädikatenlogik. Electronic books. Aufsatzsammlung. Kongress.
Online Access:	Connect to the full text of this electronic book

Available Online