Logics in artificial intelligence
: 11th European conference ; proceedings / JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Steffen Hölldobler ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5293 : Lecture notes in artificial intelligence)
ISBN 978-3-540-87803-2
Lizenzpflichtig
Quelle: DNB
Logics in artificial intelligence
: 10th European conference ; proceedings / JELIA 2006, Liverpool, UK, September 13 - 15, 2006. Michael Fisher ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4160 : Lecture notes in artificial intelligence)
ISBN 978-3-540-39627-7
Quelle: DNB
Logics in artificial intelligence
: proceedings / European Workshop JELIA '94, York, UK, September 5 - 8, 1994 / Craig MacNish ... (ed.). - Berlin : Springer, 1994. - IX, 413 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 838 : Lecture notes in artificial intelligence)
ISBN 978-3-540-58332-5 / 3-540-58332-7 kart. : DM 80.00
Literaturangaben
Quelle: DNB
Logics in artificial intelligence
: European workshop ; proceedings / JELIA '96, Évora, Portugal, September 30 - October 3, 1996 / José Júlio Alferes ... (ed.). - Berlin : Springer, 1996. - IX, 416 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1126 : Lecture notes in artificial intelligence)
ISBN 978-3-540-61630-6 / 3-540-61630-6 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Logics in artificial intelligence
: European workshop ; proceedings / JELIA '98, Dagstuhl, Germany, October 12 - 15, 1998. Jürgen Dix ... (ed.). - Berlin : Springer, 1998. - X, 390 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1489 : Lecture notes in artificial intelligence)
ISBN 978-3-540-65141-3 / 3-540-65141-1 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Logics in artificial intelligence
: 9th European conference ; proceedings / JELIA 2004, Lisbon, Portugal, September 27 - 30, 2004. José Júlio Alferes ; João Leite (ed.). - Berlin : Springer, 2004. - XIV, 744 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3229 : Lecture notes in artificial intelligence)
ISBN 978-3-540-23242-1 / 3-540-23242-7 kart. : EUR 89.88 (freier Pr.), sfr 142.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logics of specification languages
/ Dines Bjørner ; Martin C. Henson ed.. - Berlin : Springer, 2008. - XXI, 623 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-74106-0 / 3-540-74106-2 Pp. : EUR 96.25 (freier Pr.), sfr 157.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logic synthesis for compositional microprogramm control units
/ Alexander Barkalov .... - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in electrical engineering; Vol. 22)
ISBN 978-3-540-69285-0
Lizenzpflichtig
Quelle: DNB
Dau, Frithjof: The logic system of concept graphs with negation and its relationship to predicate logic
/ Frithjof Dau. - Berlin : Springer, 2003. - XI, 213 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2892 : Lecture notes in artificial intelligence)
ISBN 978-3-540-20607-1 / 3-540-20607-8 kart. : EUR 40.66
Literaturverz. S. 205 - 209
Quelle: DNB
The logic system of concept graphs with negation and its relationship to predicate logic
/ Frithjof Dau. - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2892 : Lecture notes in artificial intelligence)
ISBN 978-3-540-40062-2
Lizenzpflichtig
Quelle: DNB
