Zum Inhalt springen

Gottlob, Georg [HerausgeberIn]; Leitsch, Alexander [HerausgeberIn]; Mundici, Daniele [HerausgeberIn] ; Kurt-Gödel-Gesellschaft, Kurt Gödel Colloquium 5 1997 Wien

Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25 - 29, 1997; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1997

Erschienen in: Lecture notes in computer science ; 1289
Lloyd, John W. [HerausgeberIn]

Computational logic : symposium proceedings Brussels, November 13/14, 1990

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1990

Erschienen in: Europäische Kommission: ESPRIT basic research series ; 1
Lloyd, John Wylie [Sonstige Person, Familie und Körperschaft]; Lloyd, John W. [HerausgeberIn] ; CL 1 2000 London

Computational logic : first international conference, London, UK, July 24 - 28, 2000 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 2000

Erschienen in: Lecture notes in computer science ; 1861
Leite, João [HerausgeberIn] ; CLIMA 12 2011 Barcelona

Computational logic in multi-agent systems : 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6814
Bradley, Aaron R. [VerfasserIn]; Manna, Zohar [VerfasserIn]

The calculus of computation : decision procedures with applications to verification

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007
Berger, Ulrich [HerausgeberIn] ; Advanced Study Institute on Computational Logic 1997 Marktoberdorf

Computational logic : [proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1999

Erschienen in: NATO: NATO ASI series / F ; 165
Hölldobler, Steffen [Sonstige Person, Familie und Körperschaft]

Logik und Logikprogrammierung - [Neuausg.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Heidelberg: Synchron, 20XX-

Erschienen in: Kolleg Synchron
Dix, Jürgen [HerausgeberIn]; Fisher, Michael [Sonstige Person, Familie und Körperschaft]; Novák, Peter [Sonstige Person, Familie und Körperschaft] ; CLIMA 10 2009 Hamburg

Computational logic in multi-agent systems : 10th international workshop, CLIMA X 2009, Hamburg, Germany, September 9-10, 2009 ; revised selected and invited papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6214
Dix, Jürgen [HerausgeberIn]; Leite, Joao [Sonstige Person, Familie und Körperschaft]; Governatori, Guido [Sonstige Person, Familie und Körperschaft]; Jamroga, Wojciech [Sonstige Person, Familie und Körperschaft] ; CLIMA 11 2010 Lissabon

Computational logic in multi-agent systems : 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6245
Dawar, Anuj [HerausgeberIn]; Veith, Helmut [Sonstige Person, Familie und Körperschaft] ; CSL 24 2010 Brünn

Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6247
Sadri, Fariba [HerausgeberIn]; Satoh, Ken [Sonstige Person, Familie und Körperschaft] ; CLIMA 8 2007 Porto

Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 ; revised selected and invited papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 5056
Fisher, Michael [HerausgeberIn]; Sadri, Fariba [Sonstige Person, Familie und Körperschaft]; Thielscher, Michael [Sonstige Person, Familie und Körperschaft] ; CLIMA 9 2008 Dresden

Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5405
Kaminski, Michael [HerausgeberIn]; Martini, Simone [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 22 2008 Bertinoro

Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 5213
Grädel, Erich [HerausgeberIn]; Kahle, Reinhard [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 23 2009 Coimbra

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5771
Curien, Pierre-Louis [HerausgeberIn] ; TLCA 9 2009 Brasília

Typed lambda calculi and applications : 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5608
Inoue, Katsumi [HerausgeberIn]; Satoh, Ken [Sonstige Person, Familie und Körperschaft]; Toni, Francesca [Sonstige Person, Familie und Körperschaft] ; CLIMA 7 2006 Hakodate

Computational logic in multi-agent systems : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 ; revised selected and invited papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4371
Duparc, Jacques [HerausgeberIn]; Henzinger, Thomas A. [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 21 2007 Lausanne

Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11 - 15, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4646
Puebla, Germàn [HerausgeberIn] ; LOPSTR 16 2006 Venedig

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4407
Ronchi Della Rocca, Simona [HerausgeberIn] ; TLCA 8 2007 Paris

Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26 - 28, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4583
Hill, Patricia M. [HerausgeberIn] ; LOPSTR 15 2005 London

Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 3901

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr