Logic Programming: The 1994 International Symposium - Softcover

 
9780262521918: Logic Programming: The 1994 International Symposium

Inhaltsangabe

November 13-17, 1994, Ithaca, New York


The 1994 International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. Theses tutorials, invited lectures, and refereed papers cover all aspects of logic programming including constraints, concurrency and parallelism, deductive databases, implementations and architectures, metaprogramming and higher-order programming, proof theory, and semantic analysis.

Logic Programming series, Research Reports and Notes

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

November 13-17, 1994, Ithaca, New YorkThe 1994 International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. Theses tutorials, invited lectures, and refereed papers cover all aspects of logic programming including constraints, concurrency and parallelism, deductive databases, implementations and architectures, metaprogramming and higher-order programming, proof theory, and semantic analysis."Logic Programming series," Research Reports and Notes

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.