Programming Sudoku

Programming Sudoku

Show other versions (1)

Bibliographic Details
Main Author:	Lee, Wei-Meng
Format:	Electronic Kit Book
Language:	English
Published:	Berkeley, CA Wei-Meng Lee 2006
Subjects:	Computer science Computer Science Mathematical Logic and Formal Languages
Online Access:	http://dx.doi.org/10.1007/978-1-4302-0138-0

Similar Items

Mathematical Logic Foundations for Information Science
by: Li, Wei
Published: (2010)

Agent Technology from a Formal Perspective
by: Rouff, Christopher A.
Published: (2006)

Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
by: Mazzola, Guerino
Published: (2005)

Formal Methods: State of the Art and New Directions
by: Boca, Paul
Published: (2010)

A Theory of Distributed Objects Asynchrony β Mobility β Groups β Components
by: Caromel, Denis
Published: (2005)

Abstraction, Refinement and Proof for Probabilistic Systems
by: McIver, Annabelle
Published: (2005)

Time for Verification Essays in Memory of Amir Pnueli
by: Manna, Zohar
Published: (2010)

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
by: Mazzola, Guerino
Published: (2006)

Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontology
by: Lee, Raymond S. T.
Published: (2006)

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
by: Pol, Jaco
Published: (2010)

Discrete Mathematics Using a Computer
by: OβDonnell, John
Published: (2006)

Logical Tools for Handling Change in Agent-Based Systems
by: Gabbay, Dov M., 1945-
Published: (2010)

Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and KomΓ'rno, Slovakia, May 25-30, 2009, Revised Selected Lectures
by: HorvΓ'th, ZoltΓ'n
Published: (2010)

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
by: Dovier, Agostino
Published: (2010)

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
by: Escobar, Santiago
Published: (2010)

Membrane Computing 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers
by: PΔun, Gheorghe
Published: (2010)

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
by: Carro, Manuel
Published: (2010)

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
by: Ong, Luke
Published: (2010)

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
by: Platzer, AndrΓ©
Published: (2010)

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
by: Ueda, Kazunori
Published: (2010)

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
by: Qin, Shengchao
Published: (2010)

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
by: Blume, Matthias
Published: (2010)

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
by: Butterfield, Andrew
Published: (2010)

Notes on Set Theory
by: Moschovakis, Yiannis
Published: (2006)

Finite Model Theory
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (2006)

Logica Universalis Towards a General Theory of Logic
by: Beziau, Jean-Yves
Published: (2005)

Logic and the Foundations of Game and Decision Theory β LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
by: Bonanno, Giacomo
Published: (2010)

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
by: Schreye, Danny
Published: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
by: FermΓΌller, Christian G
Published: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25βMay 1, 2010, Revised Selected Papers
by: Clarke, Edmund M., Jr. 1945-2020. (Edmund Melson)
Published: (2010)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
by: Lilius, Johan
Published: (2010)

Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
by: Engels, Gregor
Published: (2010)

Testing β Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
by: Bottaci, Leonardo
Published: (2010)

Reliable Software Technologiey β Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
by: Real, Jorge
Published: (2010)

Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
by: Tratt, Laurence
Published: (2010)

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, MΓ'laga, Spain, June 28βJuly 2, 2010. Proceedings
by: Vitek, Jan
Published: (2010)

Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
by: Hatcliff, John
Published: (2010)

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
by: Giesl, JΓΌrgen
Published: (2010)

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
by: Petrenko, Alexandre
Published: (2010)

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
by: Γlveczky, Peter Csaba
Published: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών