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

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

Sábháilte in:

Sonraí bibleagrafaíochta
Údar corparáideach:	SpringerLink (Online service)
Rannpháirtithe:	Mitchell, David G., Hoos, Holger H.
Formáid:	Ríomhleabhar
Teanga:	English
Sraith:	Lecture Notes in Computer Science, 3542
Ábhair:	Computer science Artificial intelligence Computer software Logic, Symbolic and mathematical Electronic data processing Operating systems (Computers)
Rochtain ar líne:	Click here to view the full text content
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Míreanna comhchosúla

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

Introduction to mathematics of satisfiability /
de réir: Marek, Viktor W.
Foilsithe / Cruthaithe: (2009)

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

Job scheduling strategies for parallel processing (vol. # 3277) 10th international workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, revised selected papers
de réir: Feitelson, Dror
Foilsithe / Cruthaithe: (2005)

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

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

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

Finite model theory /
de réir: Ebbinghaus, Heinz-Dieter

Notes on set theory
de réir: Moschovakis, Yiannis
Foilsithe / Cruthaithe: (2006)

Construction and analysis of safe, secure, and interoperable smart devices (vol. # 3362) international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, revised selected papers
de réir: Barthe, Gilles
Foilsithe / Cruthaithe: (2005)

Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
Foilsithe / Cruthaithe: (2013)

A Modern Perspective on Type Theory From its Origins until Today /
de réir: Kamareddine, Fairouz
Foilsithe / Cruthaithe: (2005)

Logical foundations of computer science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
de réir: Artemov, Sergei N.
Foilsithe / Cruthaithe: (2007)

Recent trends in algebraic development techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /
Foilsithe / Cruthaithe: (2012)

Logic design theory /
de réir: Biswas, Nripendra Nath
Foilsithe / Cruthaithe: (1993)

Logic design theory /
de réir: Biswas, Nripendra N.
Foilsithe / Cruthaithe: (2006)

Mathematical logic foundations for information science /
de réir: Li, Wei
Foilsithe / Cruthaithe: (2010)

Mathematical logic for computer science /
de réir: Ben-Ari, Mordechai
Foilsithe / Cruthaithe: (2012)

Logica universalis : towards a general theory of logic /
de réir: Beziau, Jean-Yves
Foilsithe / Cruthaithe: (2005)

A concise introduction to mathematical logic
de réir: Rautenberg, Wolfgang
Foilsithe / Cruthaithe: (2006)

Elementary logics : a procedural perspective /
de réir: Gabbay, Dov M.
Foilsithe / Cruthaithe: (1998)

Mathematical logic : foundations for information science /
de réir: Li, Wei
Foilsithe / Cruthaithe: (2014)

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

Logic-based artificial intelligence /
Foilsithe / Cruthaithe: (2000)

Elements of the theory of computation /
de réir: Lewis, Harry R.
Foilsithe / Cruthaithe: (1998)

Set theory : exploring independence and truth /
de réir: Schindler, Ralf
Foilsithe / Cruthaithe: (2014)

Multiparadigm programming in mozart second international conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, revised selected papers
de réir: Van Roy, Peter
Foilsithe / Cruthaithe: (2005)

Penghantar logik /
de réir: Hamidah Abdulhamid
Foilsithe / Cruthaithe: (1991)

Combinatorial set theory : with a gentle introduction to forcing /
de réir: Halbeisen, Lorenz J.
Foilsithe / Cruthaithe: (2012)

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

Effective logic computation /
de réir: Truemper, Klaus

Problems and theorems in classical set theory
de réir: KomjÃ¡th, PÃ©ter
Foilsithe / Cruthaithe: (2006)

The arché papers on the mathematics of abstraction /
Foilsithe / Cruthaithe: (2008)

Fork algebras in algebra, logic and computer science /
de réir: Frias, Marcelo Fabian
Foilsithe / Cruthaithe: (2002)

A concise introduction to mathematical logic
de réir: Rautenberg, Wolfgang
Foilsithe / Cruthaithe: (2010)

Methods of cut-elimination
de réir: Leitsch, Alexander
Foilsithe / Cruthaithe: (2011)

Logical foundations of mathematics and computational complexity : a gentle introduction /
de réir: Pudlak, Pavel
Foilsithe / Cruthaithe: (2013)

Understanding computers' intelligence : celebrating the 100th volume of Fundamenta Informaticae in honour of Helena Rosiowa /
Foilsithe / Cruthaithe: (2010)

Introduction to mathematical logic /
de réir: Walicki, Michał
Foilsithe / Cruthaithe: (2012)

Logic for mathematics and computer science /
de réir: Burris, Stanley N.
Foilsithe / Cruthaithe: (1998)