Logic programming : proceedings of the fifth international conference and symposium /

Logic programming : proceedings of the fifth international conference and symposium /

57

Dettagli Bibliografici
Autori principali:	Kowalski, Robert, Bowen, Kenneth A., Association for Logic Programming, IEEE Computer Society, International Conference on Logic Programming (5th : 1988 : University of Washington, Seattle), Symposium on Logic Programming (5th : 1988 : University of Washington, Seattle)
Natura:
Pubblicazione:	Cambridge, Mass. : MIT Press, c198
Soggetti:	Logic programming

Documenti analoghi

Logic programming /
di: Lassez, Jean-Loius, et al.
Pubblicazione: (1987)

Proceedings of the 1975 International Symposium on Multiple-Valued logic
di: 251123 International Symposium on Multiple-Valued Logic, 5th, Indiana University, May 13-16, 1975, et al.

Logic programming /
di: Levi, Giorgio, et al.
Pubblicazione: (1989)

Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings /
di: 474083 International Conference on Logic Programming (23rd : 2007 : Porto, Portugal), et al.
Pubblicazione: (2007)

International Symposium on Uniformly Structured Automata and Logic : proceedings
di: International Symposium on Uniformly Structured Automata and Logic (1975 : Tokyo), et al.
Pubblicazione: (1975)

Proceedings of the international symposium on multiple-valued logic
di: 428863 International symposium on multiple-valued logic, 7th University of North Carolina, Charlotte, North Carolina, May 24-27, 1977

Natural language understanding and logic programming, II /
di: International Workshop on Natural Language Understanding and Logic Programming (2nd : 1987 : Vancouver), et al.
Pubblicazione: (1988)

Fuji International Workshop on Functional and Logic Programming, Susono, Japan, July 17-19, 1995 /
di: Fuji International Workshop on Functional and Logic Programming (1995 : Susono, Japan), et al.
Pubblicazione: (1995)

Proceedings of Logic Colloquium /
di: 467457 Logic Colloquium, et al.
Pubblicazione: (1969)

Proceedings of the sixth Asian logic conference , Beijing, China, 20-24 May 1996 /
di: Asian Logic Conference (6th. : 1996 : Beijing, China), et al.
Pubblicazione: (1998)

Mathematical logic /
di: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), et al.
Pubblicazione: (1978)

Conference in Mathematical Logic, Bedford College, London, 24-28th Aug, 1970 : Proceedings /
di: Conference in Mathematical Logic (1970 : Bedford College, London), et al.
Pubblicazione: (1972)

Proceedings of the summer school and colloqium in mathematical logic /
di: Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester), et al.
Pubblicazione: (1969)

Physics, logic and history
di: 472526 International Colloquium on Logic, Physical Reality and History, 1st., University of Denver, May 16-20, 1966
Pubblicazione: (1970)

Fuzzy logic and it's application 17th June 1992, Shah Alam Malaysia /
di: Fuzzy Logic Seminar (1992 : Shah Alam, Malaysia), et al.
Pubblicazione: (1992)

Logic, methodology and philosophy of science VII
di: 474250 International Congress of Logic, Methodology and Philosophy Science (7th : 1983 : Salzburg, Austria), et al.
Pubblicazione: (1983)

New trends in fuzzy logic II /
di: Proceedings of the second Italian workshop on fuzzy logic 19-20 March 1997 Bari, Italy, et al.
Pubblicazione: (1998)

Conference record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Austin, Texas, January 11-13, 1989
di: ACM Symposium on Principles of Programming Languages (16th : 1989 : Austin, Texas)
Pubblicazione: (1989)

Combinatorics, complexity, and logic /
di: International Conference on Discreta Mathematics and Theoretical Computer Science on Combinatorics, Complexity, and Logic (1st : 1996 : Auckland, New Zealand), et al.
Pubblicazione: (1997)

Multiple-valued logic/
di: International Symposium on Multiple-Valued Logic (6th : 1976 : Logan, Utah)

Logic, language, information and computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 : proceedings /
di: Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.), et al.
Pubblicazione: (2008)

Logic, methodology and philosophy of science IX, Uppsala, Sweden, August 7-14 1991 : [proceeding] /
di: International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden), et al.
Pubblicazione: (1994)

Testing techniques for rock mechanics : a symposium presented at the Fifth Pacific Area National Meeting American Society for Testing and Materials/
di: Testing techniques for rock mechanics : a symposium presented at the Fifth Pacific Are National Meeting American Society for Testing and Materials, Seattle, (Oct. 31.Nov. 5,1965 : Washington)
Pubblicazione: (1966)

Nonlinear programming 3 : proceedings of the symposium on nonlinear programming
di: 196022 Symposium on Nonlinear Programming, 3rd

Inventories : theories and applications : a selection of papers presented at the fifth International Symposium on Inventories, Budapest, August 22-26, 1988 /
di: International Symposium on Inventories n(5th : 1988 : Budapest, Hungary), et al.
Pubblicazione: (1990)

Communications - gateway to globalization : 1995 IEEE International Conference on Communications, June 18-22, 1995, Seattle, Washington, USA
di: IEEE International Conference on Communications (1995 : Seattle, Washington)
Pubblicazione: (1995)

Princeton symposium on mathematical programming, Princeton university, August 14-18, 1967 proceedings of the Princeton Symposium on mathematical programming /
di: 475854 Princeton symposium on mathematical programming, Princeton University, August 14 - 18,1967
Pubblicazione: (1970)

Fifth Asean food conference : conference papers
di: Asean Food Conference (5th : 1994 : Kuala Lumpur)
Pubblicazione: (1994)

Mathematical programming with data perturbations I/
di: Symposium on Mathematical Programming with Data Perturbation ( 1979 : George Washington University), et al.
Pubblicazione: (1982)

Proceedings, Fishing Industry Energy Conservation Conference /
di: Fishing Industry Energy Conservation Conference (1981 : Seattle, Washington)
Pubblicazione: (1982)

Computer-aided analysis of static hazards for near-optimal design of asynchronous sequential logic circuits /
di: Mohamed Khalil Mohd. Hani 608642, et al.

Proceedings of the fifth Hawaii Topical Conference in Particle Physics
di: Dobson, P. N., et al.
Pubblicazione: (1974)

Logic colloquium : symposium on logic held at Boston, 1972-73 /
di: Parikh, Rohet
Pubblicazione: (1975)

Logic and architecture synthesis for silicon compilers/
di: 476470 International Workshop on Logic and Architecture Synthesis for Silicon Compilers (1988: Grenoble, France), et al.
Pubblicazione: (1989)

Symposium on geometry processing 2007 : fifth Eurographics symposium on geometry processing, Barcelona, Spain, July 04-06, 2007 /
di: Eurographics Symposium on Geometry Processing (5th : 2007 : Barcelona, Spain), et al.
Pubblicazione: (2007)

Mathematical programming with data perturbations 11/ edited by Anthony V Fiacco
di: Fiacco, Anthony V., et al.
Pubblicazione: (1983)

Proceedings of the fifth Asian International Conference on Fluid Machinery /
di: International Conference on Fluid Machinery (5th 1997 Seoul Korea), et al.
Pubblicazione: (1997)

Logic and architecture synthesis : proceedings of the IFIP TC10/WG10.5 Workshop on Logic and Architecture Synthesis, Paris, France, 30 May-1 June 1990 /
di: IFIP TC10/WG10.5 Workshop on Logic and Architecture Synthesis (1990 : Paris, France), et al.
Pubblicazione: (1991)

Prosiding simposium jurutera kimia Malaysia kelima = Proceedings of the fifth symposium of Malaysia chemical engineers /
di: Symposium of Malaysian Chemical Engineers (5th : 1989 : Kuala Lumpur), et al.
Pubblicazione: (1989)

Proceedings of the fifth control engineering conference, held in Chicago, May 6-8, 1986
di: Control Engineering Conference (5th : 1986 : Chicago)
Pubblicazione: (1986)