Konferenzschrift

Algebraic and logic programming, 2.. Nancy, France, October 1 - 3, 1990

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540531623
3540531629
9780387531625
0387531629
Umfang
VII, 386 S.
Sprache
Englisch
Anmerkungen
graph. Darst.

Erschienen in
Algebraic and logic programming
Lecture notes in computer science ; Vol. 463

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
(wer)
Springer
(wann)
1990

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.282825, 14:04 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Konferenzschrift

Beteiligte

  • Springer

Entstanden

  • 1990

Ähnliche Objekte (12)

Algebraic and logic programming : 4th international conference ; proceedings

Konferenzschrift | Kongress

Algebraic and logic programming : 4th international conference ; proceedings

Algebraic and logic programming : 5th international conference ; proceedings

Konferenzschrift | Kongress

Algebraic and logic programming : 5th international conference ; proceedings

Algebraic and logic programming : 6th international joint conference ; proceedings

Konferenzschrift | Kongress

Algebraic and logic programming : 6th international joint conference ; proceedings

Algebraic logic

Aufgabensammlung

Algebraic logic

Algebraic Separation Logic

Algebraic Separation Logic

Algebraic neighbourhood logic

Algebraic neighbourhood logic

Algebraic separation logic

Algebraic separation logic

Algebraic and logic programming, [1].. Gaussig, GDR, November 14 - 18, 1988

Konferenzschrift

Algebraic and logic programming, [1].. Gaussig, GDR, November 14 - 18, 1988

Algebraic and logic programming, 3.. Volterra, Italy, September 2 - 4, 1992

Konferenzschrift

Algebraic and logic programming, 3.. Volterra, Italy, September 2 - 4, 1992

Towards Algebraic Separation Logic

Towards Algebraic Separation Logic

Towards algebraic separation logic

Towards algebraic separation logic

Logic programming : proceedings

Konferenzschrift | Kongress

Logic programming : proceedings

Verbundene Objekte