Theory and applications of satisfiability testing (vol. # 3569) / 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

Theory and applications of satisfiability testing (vol. # 3569) / 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

Salvato in:

Dettagli Bibliografici
Ente Autore:	SpringerLink (Online service)
Altri autori:	Walsh, Toby, Bacchus, Fahiem
Natura:	eBook
Lingua:	English
Pubblicazione:	Berlin Heidelberg : Springer-Verlag GmbH., 2005
Serie:	Lecture Notes in Computer Science, 3569
Soggetti:	Computer science Operating systems (Computers) Logic, Symbolic and mathematical Computer software Artificial intelligence Electronic data processing
Accesso online:	Click here to view the full text content
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

Documenti analoghi

Theory and applications of satisfiability testing (vol. # 3542) / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Theory and applications of satisfiability testing - SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
Pubblicazione: (2012)

Theory and applications of satisfiability testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /
Pubblicazione: (2013)

Introduction to mathematics of satisfiability /
di: Marek, Viktor W.
Pubblicazione: (2009)

Theory and applications of satisfiability testing - SAT 2010 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
Pubblicazione: (2010)

Logic-based artificial intelligence /
Pubblicazione: (2000)

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Pubblicazione: (2007)

Logical tools for handling change in agent-based systems /
di: Gabbay, Dov M., 1945-
Pubblicazione: (2010)

Processes, terms and cycles: steps on the road to infinity / essays dedicated to Jan Willem Klop on the Occasion of his 60th birthday

Epistemic logic for AI and computer science /
di: Meyer, John-Jules Ch
Pubblicazione: (1995)

Computer aided verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Job Scheduling Strategies for Parallel Processing (vol. # 3834) 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
Pubblicazione: (2005)

Finite model theory /
di: Ebbinghaus, Heinz-Dieter

Notes on set theory
di: Moschovakis, Yiannis
Pubblicazione: (2006)

Logical foundations of computer science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
di: Artemov, Sergei N.
Pubblicazione: (2007)

The logic of categorial grammars A deductive account of natural language syntax and semantics /
di: Moot, Richard
Pubblicazione: (2012)

A Modern Perspective on Type Theory From its Origins until Today /
di: Kamareddine, Fairouz
Pubblicazione: (2005)

Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /
Pubblicazione: (2006)

Theory and applications of satisfiability testing - SAT 2014 : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
Pubblicazione: (2014)

Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
Pubblicazione: (2005)

Programming languages and systems (vol. # 3780) : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Developments in language theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Pubblicazione: (2005)

Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Pubblicazione: (2012)

Theory and applications of satisfiability testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
Pubblicazione: (2009)

Logics in artificial intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /
Pubblicazione: (2006)

Logics in artificial intelligence : 10th European conference, Jelia 2006, Liverpool, Uk, September 13-15, 2006 proceedings /
Pubblicazione: (2006)

Natural deduction, hybrid systems and modal logics
di: Indrzejczak, Andrzej
Pubblicazione: (2010)

Logic design theory /
di: Biswas, Nripendra Nath
Pubblicazione: (1993)

Logic design theory /
di: Biswas, Nripendra N.
Pubblicazione: (2006)

Mathematical logic foundations for information science /
di: Li, Wei
Pubblicazione: (2010)

Mathematical logic for computer science /
di: Ben-Ari, Mordechai
Pubblicazione: (2012)

Logica universalis : towards a general theory of logic /
di: Beziau, Jean-Yves
Pubblicazione: (2005)

A concise introduction to mathematical logic
di: Rautenberg, Wolfgang
Pubblicazione: (2006)

Elementary logics : a procedural perspective /
di: Gabbay, Dov M.
Pubblicazione: (1998)

Mathematical logic : foundations for information science /
di: Li, Wei
Pubblicazione: (2014)

Mathematical logic in the 20th century /
Pubblicazione: (2003)

Distributed applications and interoperable systems (vol. # 3543) / 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings

The complexity of valued constraint satisfaction problems /
di: Živný, Stanislav
Pubblicazione: (2012)

Mathematical problems from applied logic I logics for the XXIst century /
Pubblicazione: (2006)