Computer science logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20 - 24, 2004 ; proceedings

Computer science logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20 - 24, 2004 ; proceedings

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin u.a. Springer 2004
Schriftenreihe:	Lecture notes in computer science 3210
Schlagworte:	Theoretische Informatik Programmierlogik Logische Programmierung Logik Konferenzschrift > 2004 > Krummhübel
Online-Zugang:	DE-91 DE-384 DE-19 DE-739 Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22 - 25, 2002 ; proceedings
Veröffentlicht: (2002)

Computer science logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings
Veröffentlicht: (2010)

Computer science logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings
Veröffentlicht: (2010)

Computer science logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22 - 25, 2005 ; proceedings
Veröffentlicht: (2005)

Computer science logic 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings
Veröffentlicht: (2010)

Computer science logic 23rd international workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 ; proceedings
Veröffentlicht: (2009)

Computer science logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003 Vienna, Austria, August 25 - 30, 2003 ; proceedings
Veröffentlicht: (2003)

Computer science logic 19th International Workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22 - 25, 2005 ; proceedings
Veröffentlicht: (2005)

Logic for programming and automated reasoning 6th international conference, LPAR '99, Tbilisi, Georgia, September 6 - 10, 1999 ; proceedings
Veröffentlicht: (1999)

Logic for programming, artificial intelligence, and reasoning 8th international conference, LPAR 2001, Havana, Cuba, December 3 - 7, 2001 ; proceedings
Veröffentlicht: (2001)

24th EACSL Annual Conference on Computer Science Logic (CSL 2015) CSL 2015, September 7–10, 2015, Berlin, Germany
Veröffentlicht: (2015)

28th EACSL Annual Conference on Computer Science Logic CSL 2020, January 13–16, 2020, Barcelona, Spain
Veröffentlicht: (2020)

Computer science logic 10th international workshop, CSL '96, annual conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1997 ; selected papers
Veröffentlicht: (1997)

30th EACSL Annual Conference on Computer Science Logic CSL 2022, February 14–19, 2022, Göttingen, Germany (Virtual Conference)
Veröffentlicht: (2022)

Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL September 12 -15, 2011, Bergen, Norway
Veröffentlicht: (2011)

Computer science logic 11th international workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23 - 29, 1997 ; selected papers
Veröffentlicht: (1998)

Computer Science Logic 2017 CSL 2017, August 20–24, 2017, Stockholm, Sweden
Veröffentlicht: (2017)

Mathematical logic for computer science
von: Ben-Arî, Môtî 1948-
Veröffentlicht: (2004)

Logic for programming, artificial intelligence, and reasoning 12th international conference ; proceedings
Veröffentlicht: (2005)

Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings
von: McMillan, Kenneth L.
Veröffentlicht: (2013)

Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers
Veröffentlicht: (2010)

Computer science logic 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993 ; selected papers
Veröffentlicht: (1994)

Advances in computer science - ASIAN 2004 higher-level decision making ; 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8 - 10, 2004 ; proceedings
Veröffentlicht: (2004)

Logics of programs workshop, Yorktown Heights, N. Y., May 1981
Veröffentlicht: (1982)

Logics of programs workshop, Yorktown Heights, N. Y., May 1981
Veröffentlicht: (1982)

Logics of programs workshop, Carnegie Mellon Univ., Pittsburgh, PA, June 6 - 8, 1983
Veröffentlicht: (1984)

Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 ; selected papers
Veröffentlicht: (1993)

Logic for computer science
von: Reeves, Steve, et al.
Veröffentlicht: (1990)

Logic for computer science
von: Reeves, Steve, et al.
Veröffentlicht: (1990)

Introduction to logic programming
von: Hogger, Christopher J.
Veröffentlicht: (1987)

Introduction to logic programming
von: Hogger, Christopher J.
Veröffentlicht: (1986)

Handbook of logic in computer science

Logic for computer scientists
von: Schöning, Uwe 1955-
Veröffentlicht: (2008)

Logic for computer scientists
von: Schöning, Uwe 1955-
Veröffentlicht: (2008)

Logic-based program synthesis and transformation 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers
Veröffentlicht: (2010)

Verification: theory and practice essays dedicated to Zohar Manna on the occasion of his 64th birthday
Veröffentlicht: (2004)

Mathematical logic for computer science
von: Ben-Arî, Môtî 1948-
Veröffentlicht: (2001)

Inductive logic programming 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004 ; proceedings
Veröffentlicht: (2004)

Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings
Veröffentlicht: (2010)

Logik und Logikprogrammierung
von: Hölldobler, Steffen 1957-2023
Veröffentlicht: (2001)