Konferenzschrift | Kongress

Algebraic and logic programming : proceedings of an international workshop held in Gaussig (GDR), November 14 - 18, 1988

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783055006654
3055006658
Maße
24 cm
Umfang
278 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Mathematical research ; Bd. 49

Schlagwort
Logische Programmierung
Programmierung
Algebraische Spezifikation
Termersetzungssystem
Programmierung (Datenverarbeitung)
Programmierung

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Akad.-Verl.
(wann)
1988
Beteiligte Personen und Organisationen
Grabowski, Jan

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

Datenpartner

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

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

  • Grabowski, Jan
  • Akad.-Verl.

Entstanden

  • 1988

Ähnliche Objekte (12)

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 : 5th international conference ; proceedings

Konferenzschrift | Kongress

Algebraic and logic programming : 5th international conference ; proceedings

Algebraic and logic programming : 4th international conference ; proceedings

Konferenzschrift | Kongress

Algebraic and logic programming : 4th 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 neighbourhood logic

Algebraic neighbourhood logic

Algebraic Separation Logic

Algebraic Separation Logic

Algebraic separation logic

Algebraic separation logic

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

Konferenzschrift

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

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

Logic programming : proceedings

Konferenzschrift | Kongress

Logic programming : proceedings

Verbundene Objekte