Logic Program Synthesis and Transformation - Meta-Programming in Logic
Laurent Fribourg, Franco Turini
Häftad, 1994
739 kr
Del i serien Logic Programming
Meta-Logics and Logic Programming
Häftad, Engelska, 2003
999 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2003-03-17
- Mått216 x 279 x 25 mm
- Vikt762 g
- FormatHäftad
- SpråkEngelska
- SerieLogic Programming
- Antal sidor356
- FörlagMIT Press Ltd
- ISBN9780262511681
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
New Trends in Constraints
Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi
Häftad, 2000
739 kr
Logic Programming Paradigm
Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David S. Warren
Häftad, 2011
1 479 kr
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Häftad, 2012
1 189 kr
Recent Advances in Constraints
Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza
Häftad, 2004
739 kr