Automated reasoning with analytic tableaux and related methods

: proceedings / International Conference Tableaux, Oisterwijk, The Netherlands, May 1998. H. de Swart (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1397 : Lecture notes in artificial intelligence)

ISBN 978-3-540-69778-7

Lizenzpflichtig

Quelle: DNB

De Swart, Harrie: Logic

/ by H. C. M. de Swart. - Frankfurt am Main : Lang, 1993. - XIV, 577 S. : graph. Darst.

ISBN 978-3-631-45434-3 / 3-631-45434-1 kart. : sfr 116.00

Quelle: DNB

De Swart, Harrie: Logic

/ by H. C. M. de Swart. - Frankfurt am Main : Lang, 1994. - XII, 337 S.

ISBN 978-3-631-45435-0 / 3-631-45435-X kart. : sfr 79.00

Quelle: DNB

Relational methods in computer science

: 6th international conference ; revised papers / RelMiCS 2001 ... Oisterwijk, The Netherlands, October 16 - 21, 2001. H. C. M. de Swart (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2561)

ISBN 978-3-540-36280-7

Lizenzpflichtig

Quelle: DNB

Relational methods in computer science

: 6th international conference ; revised papers / RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16 - 21, 2001. Harrie C. M. de Swart (ed.). - Berlin : Springer, 2002. - X, 313 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2561)

ISBN 978-3-540-00315-1 / 3-540-00315-0 kart. : EUR 47.08

Literaturangaben

Quelle: DNB

Theory and applications of relational structures as knowledge instruments

: COST action 274, TARSKI ; revised papers / Harrie de Swart ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2929)

ISBN 978-3-540-24615-2

Lizenzpflichtig

Quelle: DNB