Coverart for item
The Resource Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings, Giorgio Levi, Mario Rodríguez Artalejo, (eds)

Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings, Giorgio Levi, Mario Rodríguez Artalejo, (eds)

Label
Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings
Title
Algebraic and logic programming
Title remainder
4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings
Statement of responsibility
Giorgio Levi, Mario Rodríguez Artalejo, (eds)
Creator
Contributor
Subject
Genre
Language
eng
Summary
  • "This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994. Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming."--PUBLISHER'S WEBSITE
  • "This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994. Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
no index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1994
http://bibfra.me/vocab/lite/meetingName
International Conference on Algebraic and Logic Programming
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1942-
http://library.link/vocab/relatedWorkOrContributorName
  • Levi, G.
  • Rodríguez Artalejo, M.
Series statement
Lecture notes in computer science
Series volume
850
http://library.link/vocab/subjectName
  • Logic programming
  • Algebraic logic
Label
Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings, Giorgio Levi, Mario Rodríguez Artalejo, (eds)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
31010013
Dimensions
24 cm
Extent
viii, 304 pages
Isbn
9783540584315
Lccn
94033286
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(WaOLN)1609905
Label
Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings, Giorgio Levi, Mario Rodríguez Artalejo, (eds)
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
31010013
Dimensions
24 cm
Extent
viii, 304 pages
Isbn
9783540584315
Lccn
94033286
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(WaOLN)1609905

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...