Research Catalog

Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings

Title
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler, eds.
Publication
Berlin ; New York : Springer-Verlag, c1990.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance JSF 91-67Offsite

Details

Additional Authors
  • Kirchner, H. (Hélène)
  • Wechler, Wolfgang.
  • Centre national de la recherche scientifique (France)
  • Institut national de recherche en informatique et en automatique (France)
  • Université de Nancy I.
  • Université de Nancy II.
  • International Conference on Algebraic and Logic Programming (2nd : 1990 : Nancy, France)
Description
vii, 386 p. : ill.; 25 cm.
Series Statement
Lecture notes in computer science ; 463
Subject
  • Logic programming > Congresses
  • Algebraic logic > Congresses
Note
  • "Proceedings of the Second International Conference on Algebraic and Logic Programming ... sponsored by CNRS, INRIA, and Nancy Universities"--Foreword.
Bibliography (note)
  • Includes bibliographical references.
Call Number
JSF 91-67
ISBN
  • 3540531629 (Springer-Verlag Berlin Heidelberg New York)
  • 0387531629 (Springer-Verlag New York Berlin Heidelberg)
LCCN
90010325
OCLC
NYPG91-B5851
Title
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler, eds.
Imprint
Berlin ; New York : Springer-Verlag, c1990.
Series
Lecture notes in computer science ; 463
Bibliography
Includes bibliographical references.
Added Author
Kirchner, H. (Hélène)
Wechler, Wolfgang.
Centre national de la recherche scientifique (France)
Institut national de recherche en informatique et en automatique (France)
Université de Nancy I.
Université de Nancy II.
International Conference on Algebraic and Logic Programming (2nd : 1990 : Nancy, France)
Research Call Number
JSF 91-67
View in Legacy Catalog