Jarmużek, Tomasz: Tableau methods for propositional logic and term logic
/ Tomasz Jarmużek ; translated by Sławomir Jaskólski. - Berlin : Peter Lang, 2020. - 225 Seiten; 22 cm, 369 g - (Polish contemporary philosophy and philosophical humanities; volume 20)
ISBN 978-3-631-83372-8 / 3-631-83372-5 Festeinband : EUR 59.95 (DE), EUR 60.00 (AT), CHF 71.00 (freier Preis)
Quelle: DNB
Web reasoning and rule systems
: first international conference : proceedings / RR 2007, Innsbruck, Austria, June 7 - 8, 2007. Massimo Marchiori ... (ed.). - Berlin : Springer, 2007. - XI, 382 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4524)
ISBN 978-3-540-72981-5 / 3-540-72981-X kart. : EUR 55.64 (freier Pr.), ca. sfr 85.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Web reasoning and rule systems
: first international conference ; proceedings / RR 2007, Innsbruck, Austria, June 7 - 8, 2007. Massimo Marchiori ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4524)
ISBN 978-3-540-72982-2
Lizenzpflichtig
Quelle: DNB
Web reasoning and rule systems
: second international conference ; proceedings / RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008. Diego Calvanese ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5341)
ISBN 978-3-540-88737-9
Lizenzpflichtig
Quelle: DNB
