11. Workshop Logische Programmierung
: Technische Universität Wien, 27. - 29. September 1995 / Andreas Krall ; Ulrich Geske (Hrsg.). GMD-Forschungszentrum Informationstechnik GmbH. [Verantw. für diesen Bd.: Peter Behr]. - Sankt Augustin : GMD-Forschungszentrum Informationstechnik, 1995. - 246 S. : graph. Darst.; 30 cm - (GMD-Studien; Nr. 270)
ISBN 978-3-88457-270-2 / 3-88457-270-9 kart. : DM 63.00
Beitr. teilw. dt., teilw. engl. - Literaturangaben
Quelle: DNB
Advances in computer science - ASIAN 2004
: higher level decision making ; proceedings / 9th Asian Computing Science Conference Dedicated to Jean-Lois Lassez on the Occasion of his 5th Cycle Birthday, Chiang Mai, Thailand, December 8 - 10, 2004. Michael J. Maher (ed.). - Berlin : Springer, 2004. - XII, 510 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3321)
ISBN 978-3-540-24087-7 / 3-540-24087-X kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Algebraic methodology and software technology
: 7th international conference ; proceedings / AMAST '98, Amazonia, Brazil, January 1999. Armando M. Haeberer (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1548)
ISBN 978-3-540-49253-5
Lizenzpflichtig
Quelle: DNB
Algorithmic learning theory
: 9th international conference ; proceedings / ALT '98, Otzenhausen, Germany, October 1998. Michael M. Richter ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1501)
ISBN 978-3-540-49730-1
Lizenzpflichtig
Quelle: DNB
Applications of declarative programming and knowledge management
: revised selected papers / 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004 and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4 - 6, 2004, Dietmar Seipel ... (ed.). - Berlin : Springer, 2005. - X, 308 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3392 : Lecture notes in artificial intelligence)
ISBN 978-3-540-25560-4 / 3-540-25560-5 kart. : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Automated reasoning
: first international joint conference ; proceedings / IJCAR 2001, Siena, Italy, June 18 - 22, 2001. R. Goré ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2083 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45744-2
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 14th international workshop ; proceedings / CSL 2000, Fischbachau, Germany, August 21 - 26, 2000. Peter G. Clote ; Helmut Schwichtenberg (ed.). - Berlin : Springer, 2000. - XIII, 541 S. : graph. Darst.; 24 cm - (Annual conference of the EACSL; 9)
ISBN 978-3-540-67895-3 / 3-540-67895-6 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Computer science logic
: proceedings / 17th International Workshop CSL 2003 ; 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25 - 30, 2003. Matthias Baaz ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Annual conference of the EACSL ...; 12)
ISBN 978-3-540-45220-1
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 16th international workshop ; proceedings / CSL 2002, Edinburgh, Scotland, UK, September 22 - 25, 2002. J. Bradfield (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Annual conference of the EACSL ...; 11)
ISBN 978-3-540-45793-0
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 15th international workshop ; proceedings / CSL 2001, Paris, France, September 10 - 13, 2001. L. Fribourg (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Annual conference of the EACSL ...; 10)
ISBN 978-3-540-44802-0
Lizenzpflichtig
Quelle: DNB