Konferenzschrift | Kongress

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

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540634591
3540634592
Dimensions
24 cm
Extent
X, 286 S.
Language
Englisch
Notes
graph. Darst.

Bibliographic citation
Lecture notes in computer science ; Vol. 1298

Keyword
Logische Programmierung
Programmierung
Algebraische Spezifikation
Termersetzungssystem

Event
Veröffentlichung
(where)
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo
(who)
Springer
(when)
1997
Contributor
Hanus, Michael
ALP (6 : 1997 : Southampton)

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.03.2025, 11:44 AM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Konferenzschrift
  • Kongress

Associated

Time of origin

  • 1997

Other Objects (12)

Programming language implementation and logic programming : 6th international symposium ; proceedings

Konferenzschrift | Kongress

Programming language implementation and logic programming : 6th international symposium ; proceedings

Functional and logic programming : 6th international symposium ; proceedings

Konferenzschrift | Kongress

Functional and logic programming : 6th international symposium ; proceedings

Inductive logic programming : 6th international workshop ; selected papers

Konferenzschrift | Kongress

Inductive logic programming : 6th international workshop ; selected papers

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

Logic programming and nonmonotonic reasoning : 6th international conference ; proceedings

Konferenzschrift | Kongress

Logic programming and nonmonotonic reasoning : 6th international conference ; proceedings

Algebraic logic

Aufgabensammlung

Algebraic logic

Logic for programming and automated reasoning : 6th international conference ; proceedings

Konferenzschrift | Kongress

Logic for programming and automated reasoning : 6th international conference ; proceedings

Algebraic neighbourhood logic

Algebraic neighbourhood logic

Algebraic Separation Logic

Algebraic Separation 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

Related objects