Logic Program Synthesis and Transformation - Meta-Programming in Logic
Laurent Fribourg, Franco Turini
Häftad, 1994
572 kr
Meta-Logics and Logic Programming
765 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Verification of Sequential and Concurrent Programs
Ernst-Rudiger Olderog, Frank S. de Boer, Krzysztof R. Apt
E-bok
20091 150 kr
Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budap
Krzysztof R. Apt, Francois Fages
665 kr
Verification of Sequential and Concurrent Programs
Ernst-Rudiger Olderog, Krzysztof R. Apt
E-bok
20131 183 kr
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Häftad, 2012
911 kr