Logic Programming and Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
572 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logicprogramming were used in implementing theorem provingsystems. Results from both fields applied to deductivedatabases.This volume contains the proceedings of LPAR '93, which wasorganized by the Russian Association for Logic Programming.The volume contains 35 contributed papers selected from 84submissions, together with an invited paper by Peter Wegnerentitled "Reasoning versus modeling in computer science".
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Handbook of Automated Reasoning
A. Robinson, A. Voronkov, Alan J.A. Robinson, Andrei Voronkov
Inbunden, 2001
2 509 kr
Del 11964
Perspectives of System Informatics
Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Häftad, 2019
572 kr
Perspectives of System Informatics
Andrei Voronkov, Irina Virbitskaite, Nikolaj Bjorner
E-bok
2019739 kr
Del 9609
Del 10742
Logic for Programming, Artificial Intelligence, and Reasoning
Matthias Baaz, Andrei Voronkov
Häftad, 2002
572 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Moshe Vardi, Andrei Voronkov
Häftad, 2003
572 kr
Hoppa över listan
Mer från samma serie
Multiobjective Optimization
Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński
Häftad, 2008
556 kr
Del 16297
Knowledge Graphs
Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang
Häftad, 2026
933 kr
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
572 kr
Del 16096
Energy Informatics
Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin
Häftad, 2025
842 kr
Del 15582
Biomimetic and Biohybrid Systems
Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott
Häftad, 2025
1 022 kr
- Nyhet
Del 16693
Advanced Parallel Processing Technologies
Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson
Häftad, 2026
1 024 kr
Del 16832
Progress in Cryptology - AFRICACRYPT 2026
Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez
Häftad, 2026
932 kr
- Nyhet
Electronic Participation
David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek
Häftad, 2026
730 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Edmund M. Clarke
E-bok
2010739 kr
Allgemeiner, Politischer Und Historischer Briefwechsel, 14: Mai Bis Dezember 1697
Gottfried Wilhelm Leibniz, Germany Akademie der Wissenschaften, Berlin, Gerda Utermöhlen, Sabine Sellschopp
Inbunden, 1993
5 143 kr