Logic programming proceedings of the Fourteenth International Conference on Logic Programming

"The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and impleme...

Full description

Bibliographic Details
Main Author: Naish, Lee
Corporate Author: International Conference on Logic Programming ( 1997, Louvain, Belgium)
Format: eBook
Language:English
Published: Cambridge, Mass. MIT Press 1997
Subjects:
Online Access:
Collection: MIT Press eBook Archive - Collection details see MPG.ReNa
LEADER 01478nmm a2200289 u 4500
001 EB002070637
003 EBX01000000000000001210727
005 00000000000000.0
007 cr|||||||||||||||||||||
008 220922 ||| eng
020 |a 9780262291354 
020 |a 0262291355 
050 4 |a QA76.63 
100 1 |a Naish, Lee 
245 0 0 |a Logic programming  |h Elektronische Ressource  |b proceedings of the Fourteenth International Conference on Logic Programming  |c edited by Lee Naish 
260 |a Cambridge, Mass.  |b MIT Press  |c 1997 
300 |a xvii, 424 pages  |b illustrations 
653 |a Logic programming / Congresses 
653 |a COMPUTER SCIENCE/Programming Languages 
710 2 |a International Conference on Logic Programming ( 1997, Louvain, Belgium) 
041 0 7 |a eng  |2 ISO 639-2 
989 |b MITArchiv  |a MIT Press eBook Archive 
500 |a "July 8-12, 1997, Leuven, Belgium"--Page 4 of cover 
028 5 0 |a 10.7551/mitpress/4299.001.0001 
856 4 0 |u https://doi.org/10.7551/mitpress/4299.001.0001?locatt=mode:legacy  |x Verlag  |3 Volltext 
082 0 |a 005.115 
520 |a "The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET.