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

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

57

Detaylı Bibliyografya
Asıl Yazarlar:	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)
Materyal Türü:
Baskı/Yayın Bilgisi:	Cambridge, Mass. : MIT Press, c198
Konular:	Logic programming

Benzer Materyaller

Logic programming /
Yazar:: Lassez, Jean-Loius, ve diğerleri
Baskı/Yayın Bilgisi: (1987)

Proceedings of the 1975 International Symposium on Multiple-Valued logic
Yazar:: 251123 International Symposium on Multiple-Valued Logic, 5th, Indiana University, May 13-16, 1975, ve diğerleri

Logic programming /
Yazar:: Levi, Giorgio, ve diğerleri
Baskı/Yayın Bilgisi: (1989)

International Symposium on Uniformly Structured Automata and Logic : proceedings
Yazar:: International Symposium on Uniformly Structured Automata and Logic (1975 : Tokyo), ve diğerleri
Baskı/Yayın Bilgisi: (1975)

Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings /
Yazar:: 474083 International Conference on Logic Programming (23rd : 2007 : Porto, Portugal), ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Scandinavian Logic Symposium, 2nd., University of Oslo, 1970 : Proceedings /
Yazar:: Scandinavian Logic Symposium (2nd : 1970 : University of Oslo), ve diğerleri
Baskı/Yayın Bilgisi: (1971)

Proceedings of the international symposium on multiple-valued logic
Yazar:: 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 /
Yazar:: International Workshop on Natural Language Understanding and Logic Programming (2nd : 1987 : Vancouver), ve diğerleri
Baskı/Yayın Bilgisi: (1988)

Fuji International Workshop on Functional and Logic Programming, Susono, Japan, July 17-19, 1995 /
Yazar:: Fuji International Workshop on Functional and Logic Programming (1995 : Susono, Japan), ve diğerleri
Baskı/Yayın Bilgisi: (1995)

Scandinavian Logic Symposium, 3rd, University of Uppsala, Sweden, April 9-11, 1973 : Proceedings /
Yazar:: Scandinavian Logic Symposium (3rd : 1973 : University of Uppsala, Sweden), ve diğerleri
Baskı/Yayın Bilgisi: (1975)

Recent Advances in Constraints [electronic resource] : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers. /
Yazar:: ERCIM International Workshop on Constraint Solving and Constraint Logic Programming (11th : 2006 : Caparica, Portugal), ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Mathematical logic in Latin America : proceedings of the 4th Latin America Symposium on mathematical logic /
Yazar:: Latin-America Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile), ve diğerleri
Baskı/Yayın Bilgisi: (1980)

Proceedings of Logic Colloquium /
Yazar:: 467457 Logic Colloquium, ve diğerleri
Baskı/Yayın Bilgisi: (1969)

Mathematical logic /
Yazar:: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), ve diğerleri
Baskı/Yayın Bilgisi: (1978)

Logic, methodology and philosophy of science IV : proceedings /
Yazar:: International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania), ve diğerleri
Baskı/Yayın Bilgisi: (1973)

ISILC logic conference : proceedings /
Yazar:: International Summer Institute and Logic Colloquium (1974 : University of Kiel), ve diğerleri
Baskı/Yayın Bilgisi: (1975)

Proceedings of the sixth Asian logic conference , Beijing, China, 20-24 May 1996 /
Yazar:: Asian Logic Conference (6th. : 1996 : Beijing, China), ve diğerleri
Baskı/Yayın Bilgisi: (1998)

Proceedings of the summer school and colloqium in mathematical logic /
Yazar:: Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester), ve diğerleri
Baskı/Yayın Bilgisi: (1969)

Physics, logic and history
Yazar:: 472526 International Colloquium on Logic, Physical Reality and History, 1st., University of Denver, May 16-20, 1966
Baskı/Yayın Bilgisi: (1970)

Conference in Mathematical Logic, Bedford College, London, 24-28th Aug, 1970 : Proceedings /
Yazar:: Conference in Mathematical Logic (1970 : Bedford College, London), ve diğerleri
Baskı/Yayın Bilgisi: (1972)

Proceedings of the Summer School in Logic Leeds, August 7-23, 1967 /
Yazar:: Summer School in Logic (1967 : Leeds), ve diğerleri
Baskı/Yayın Bilgisi: (1968)

Fuzzy logic and it's application 17th June 1992, Shah Alam Malaysia /
Yazar:: Fuzzy Logic Seminar (1992 : Shah Alam, Malaysia), ve diğerleri
Baskı/Yayın Bilgisi: (1992)

Logic, methodology and philosophy of science VII
Yazar:: 474250 International Congress of Logic, Methodology and Philosophy Science (7th : 1983 : Salzburg, Austria), ve diğerleri
Baskı/Yayın Bilgisi: (1983)

Essays on mathematical and philosophical : proceedings /
Yazar:: Scandinavian Logic Symposium (4th : 1976 : Jyvaskyla, Finland), ve diğerleri
Baskı/Yayın Bilgisi: (1976)

Computer Science Logic [electronic resource] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007: Proceedings /
Yazar:: Workshop on Computer Science Logic (21st : 2007 : Lausanne, Switzerland), ve diğerleri
Baskı/Yayın Bilgisi: (2007)

New trends in fuzzy logic II /
Yazar:: Proceedings of the second Italian workshop on fuzzy logic 19-20 March 1997 Bari, Italy, ve diğerleri
Baskı/Yayın Bilgisi: (1998)

Combinatorics, complexity, and logic /
Yazar:: International Conference on Discreta Mathematics and Theoretical Computer Science on Combinatorics, Complexity, and Logic (1st : 1996 : Auckland, New Zealand), ve diğerleri
Baskı/Yayın Bilgisi: (1997)

Testing techniques for rock mechanics : a symposium presented at the Fifth Pacific Area National Meeting American Society for Testing and Materials/
Yazar:: 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)
Baskı/Yayın Bilgisi: (1966)

Logic, methodology and philosophy of science IX, Uppsala, Sweden, August 7-14 1991 : [proceeding] /
Yazar:: International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden), ve diğerleri
Baskı/Yayın Bilgisi: (1994)

Conference record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Austin, Texas, January 11-13, 1989
Yazar:: ACM Symposium on Principles of Programming Languages (16th : 1989 : Austin, Texas)
Baskı/Yayın Bilgisi: (1989)

Multiple-valued logic/
Yazar:: 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 /
Yazar:: Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.), ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Princeton symposium on mathematical programming, Princeton university, August 14-18, 1967 proceedings of the Princeton Symposium on mathematical programming /
Yazar:: 475854 Princeton symposium on mathematical programming, Princeton University, August 14 - 18,1967
Baskı/Yayın Bilgisi: (1970)

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

Applications of Fuzzy Sets Theory [electronic resource] : 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007: Proceedings /
Yazar:: International Workshop on Fuzzy Logic and Applications (7th : 2007 : Camogli, Italy), ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Quantitative logic and soft computing : proceedings of the Ql&Sc 2012, Xi'an, China, 12-15 May 2012 /
Yazar:: International Conference on Quantitative Logic and Soft Computing (3rd : 2012 : Xi'an, China), ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Mathematical programming with data perturbations I/
Yazar:: Symposium on Mathematical Programming with Data Perturbation ( 1979 : George Washington University), ve diğerleri
Baskı/Yayın Bilgisi: (1982)

Algebra and logic : papers /
Yazar:: Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
Baskı/Yayın Bilgisi: (1975)

Inventories : theories and applications : a selection of papers presented at the fifth International Symposium on Inventories, Budapest, August 22-26, 1988 /
Yazar:: International Symposium on Inventories n(5th : 1988 : Budapest, Hungary), ve diğerleri
Baskı/Yayın Bilgisi: (1990)

Communications - gateway to globalization : 1995 IEEE International Conference on Communications, June 18-22, 1995, Seattle, Washington, USA
Yazar:: IEEE International Conference on Communications (1995 : Seattle, Washington)
Baskı/Yayın Bilgisi: (1995)