Logic programming Proceedings of the 5th International Conference and Symposium

Logic programming Proceedings of the 5th International Conference and Symposium

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Bowen, Kenneth A. (Επιμελητής έκδοσης), Kowalski, Robert A. (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1988
Θέματα:	COMPUTER PROGRAMMING LOGIC PROGRAMMING PROCEEDINGS ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ

Παρόμοια τεκμήρια

Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
Έκδοση: (1987)

Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
Έκδοση: (1987)

Logic programming Proceedings of the 5th International Conference and Symposium
Έκδοση: (1988)

Logic programming
Έκδοση: (1982)

From logic to logic programming
ανά: Doets, Kees
Έκδοση: (1994)

Logic programming Proceedings of the 4th Conference. Tokyo, Japan, July 1-3, 1985.
Έκδοση: (1986)

Foundations of inductive logic programming
ανά: Nienhuys-Cheng, Shan-Hwei, κ.ά.
Έκδοση: (1997)

Interactive systems [Proceedings] of the European computing conference London, September 1975

Programming with Constraints An Introduction
ανά: Marriott, Kim, κ.ά.
Έκδοση: (1998)

Logic Programming and Databases
ανά: Ceri, S., κ.ά.
Έκδοση: (1990)

Constraint Logic Programming Selected Research
Έκδοση: (1993)

Current trends in concurrency [Proceedings of the ESPRIT/LPC Noordwijlerhout, The Netherlands, June 10-21, 1985]
Έκδοση: (1985)

Automata, Languages and Programming Proceedings of the 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 2000
Έκδοση: (2000)

Automata, Languages and Programming Proceedings of the 16th International Colloquim Stresa, Italy, July 11-15, 1989
Έκδοση: (1989)

The logic programming paradigm A 25-year perspective
Έκδοση: (1999)

Automata, Languages and Programming Proceedings of the 26th International Colloquium, ICALP'99 Prague, Czech Republic, July 1999
Έκδοση: (1999)

Functional Programming Proceedings of the 3rd ACM SIGPLAN International Conference ICFP 98 ACM SIGPLAN Notices vol 34 no 1 January 1999
Έκδοση: (1998)

Parallel and distributed debugging Proceedings of the ACM/ONR Workshop Santa Cruz, California May 20-21, 1991 Vol.26, No.12, December 1991
Έκδοση: (1991)

Automata, languages and programming Proceedings 13th International Cologuium. Rennes, France, July 15-19, 1986
Έκδοση: (1986)

Computing in Horn Clause Theories
ανά: Padawitz, Peter
Έκδοση: (1988)

Automata, Languages and Programming 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10-14, 1995 Proceedings
Έκδοση: (1995)

Parallel and distributed debugging Proceedings of the ACM/ONR Workshop San Diego, California, May 17-18, 1993 ACM/SIGPLAN Vol. 28, No 12, December 1993
Έκδοση: (1993)

CAAP '86 Proceedings of the 11th colloguium on trees Algebra and programming. Nice, France, March 24-26, 1986.
Έκδοση: (1986)

ESOP 86. European symposium on programming Proceedings. Saarbrucken, Germany, March 17-19, 1986
Έκδοση: (1986)

OOPSLA '97 Object-oriented programming, systems, languages, and applications Object technology, naturally. 12th Annual Conference. Proceedings Atlanta, October 5-9, 1997 ACM SIGPLAN: vol.32, no 10, October 1997
Έκδοση: (1997)

OOPSLA '95. Object-Oriented Programming Systems, Languages and Applications 10th Annual Conference. Conference Proceedings. Austin, Texas, October 15-19, 1995 ACM/SIGPLAN Vol. 30, No 10, October 1995
Έκδοση: (1995)

Programming languages and system architectures Proceedings International Conference Zurich, Switzerland, March 2-4, 1994
Έκδοση: (1994)

Multiple-Valued Logic (1974) Proceedings of the 1974 International Symposium Morgantown, West Virginia, May 29-31, 1974

Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)

Database programming languages Proceedings of the 3rd international workshop Nafplion,Greece, August 27-30, 1991

Principles and practice of Parallel Programming Proceedings of7th ACM/SIGPLAN Symposium Atlanta, Georgia 4-6 May 1999 ACM/SIGPLAN Notices vol. 34 no 8 august 1999
Έκδοση: (1999)

Robotics research [Proceedings] of the 4th International Symposium
Έκδοση: (1988)

The logic of programming
ανά: Hehner, Eric C.
Έκδοση: (1984)

ADA Programming Language Proceedings of the ACM - SIGPLAN Symposium Boston Massachusetts December 9-11, 1980

Συνδεση ακαδημαϊκων βιβλιοθηκων με την εκπαιδευτικη διαδικασια 9ο Πανελληνιο Συνεδριο Ακαδημαϊκων Βιβλιοθηκων Αθηνα, 18-20 Δεκεμβριου 2000
Έκδοση: (2002)

Computational Geometry Proceedings of the 11th Annual Symbosium Vancouver, British Columbia, Canada June 5-7, 1995
Έκδοση: (1995)

Robotics research [Proceedings of] the 1st international symposium
Έκδοση: (1984)

Robotics research [Proceedings] of the 3rd International Symposium
Έκδοση: (1986)

Robotics research [Proceedings] of the 2nd International Symposium
Έκδοση: (1985)

Computing Systems Proceedings of the 7th Texas Conference October 31 - November 1, 1978 University of Houston, Houston, Texas
Έκδοση: (1978)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών