Programming Sudoku

Programming Sudoku

Bibliographic Details
Published in:	Springer e-books
Main Author:	Lee, Wei-Meng
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berkeley, CA : Apress, Inc., 2006.
Subjects:	Computer Science Mathematical Logic and Formal Languages
Online Access:	http://dx.doi.org/10.1007/978-1-4302-0138-0 Перейти в каталог НБ ТГУ

Similar Items

Formal Languages and Compilation
by: Crespi Reghizzi, Stefano, et al.
Published: (2013)

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

Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
by: Banâtre, Jean-Pierre
Published: (2005)

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
Published: (2013)

Constraints Meet Concurrency
by: Mauro, Jacopo
Published: (2014)

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

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

Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
Published: (2015)

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings
by: Baral, Chitta
Published: (2005)

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
Published: (2014)

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
by: Uustalu, Tarmo
Published: (2006)

From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice /
by: Śmiałek, Michał, et al.
Published: (2015)

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
Published: (2013)

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
by: Carnielli, Walter
Published: (2008)

Institution-independent Model Theory
by: Diaconescu, Răzvan
Published: (2008)

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings /
by: Baral, Chitta
Published: (2007)

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /
Published: (2013)

Concrete Semantics With Isabelle/HOL /
by: Nipkow, Tobias, et al.
Published: (2014)

Leo Esakia on Duality in Modal and Intuitionistic Logics
Published: (2014)

Constructing Correct Software
by: Cooke, John
Published: (2005)

Refinement in Z and Object-Z Foundations and Advanced Applications /
by: Derrick, John, et al.
Published: (2014)

Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume /
Published: (2014)

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

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

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
Published: (2014)

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
Published: (2015)

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
by: Hagiya, Masami
Published: (2006)

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
Published: (2015)

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
Published: (2013)

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
Published: (2015)

Logic Programming (vol. # 3668) 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
by: Gabbrielli, Maurizio
Published: (2005)

Logic Programming (vol. # 4079) 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
by: Etalle, Sandro
Published: (2006)

Logic Based Program Synthesis and Transformation (vol. # 3901) 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
by: Hill, Patricia M.
Published: (2006)

Logic Based Program Synthesis and Transformation (vol. # 3573) 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
by: Etalle, Sandro
Published: (2005)

Logica Volume 1 Dimostrazioni e modelli al primo ordine /
by: Abrusci, Vito Michele, et al.
Published: (2014)

Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings /
Published: (2015)

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
by: Artemov, Sergei N.
Published: (2007)

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
by: Urzyczyn, Paweł
Published: (2005)

The Life and Work of Leon Henkin Essays on His Contributions /
Published: (2014)