Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX''98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings

AvHarrie de Swart

E-bok

PDF, Engelska, 2003

1 170 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Produktinformation

Utgivningsdatum:2003-06-26
Språk:Engelska
Filformat:PDF
Kopieringsskydd:LCP
ISBN:9783540697787
Förlag:Springer Berlin Heidelberg

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT

Du kanske också är intresserad av

Philosophical and Mathematical Logic

Harrie de Swart

E-bok

2018

710 kr

Philosophical and Mathematical Logic

Harrie de Swart

Inbunden, 2018

498 kr

Elections and Fair Division

Stefan Wintein, Harrie de Swart

E-bok

2025

1 413 kr

Theory and Applications of Relational Structures as Knowledge Instruments II

Marc Roubens, Gunther Schmidt, Ewa Orlowska, Harrie de Swart

E-bok

2007

732 kr

Relational and Algebraic Methods in Computer Science

Harrie de Swart

Häftad, 2011

559 kr

Relational and Algebraic Methods in Computer Science

Harrie de Swart

E-bok

2011

732 kr

Theory and Applications of Relational Structures as Knowledge Instruments II

Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens

Häftad, 2006

559 kr

Theory and Applications of Relational Structures as Knowledge Instruments

Marc Roubens, Gunther Schmidt, Ewa Orlowska, Harrie de Swart

E-bok

2004

732 kr

Theory and Applications of Relational Structures as Knowledge Instruments

Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens

Häftad, 2003

559 kr

Elections and Fair Division

Harrie de Swart, Stefan Wintein

Inbunden, 2025

1 078 kr