Konferenzschrift

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

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540558736
354055873X
9780387558738
038755873X
Extent
IX, 457 S.
Language
Englisch
Notes
graph. Darst.

Bibliographic citation
Algebraic and logic programming
Lecture notes in computer science ; Vol. 632

Event
Veröffentlichung
(where)
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
(who)
Springer
(when)
1992

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:58 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

Associated

  • Springer

Time of origin

  • 1992

Other Objects (12)

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, [1].. Gaussig, GDR, November 14 - 18, 1988

Konferenzschrift

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

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

Konferenzschrift

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

Logic programming : proceedings

Konferenzschrift | Kongress

Logic programming : proceedings

Towards Algebraic Separation Logic

Towards Algebraic Separation Logic

LISP, Lore, and Logic : an algebraic view of LISP programming, foundations, and applications

LISP, Lore, and Logic : an algebraic view of LISP programming, foundations, and applications

Related objects