Temporal Logic of Programs
Fred Kroger
₹3,704
Results for “Logic of Programs”
Showing 1–24 of 1,487 books
Logics of Programs
Rohit Parikh
₹5,591
Multiprocessor Execution of Logic Programs
Gopal Gupta
₹11,548
Parallel Execution of Logic Programs
Anthony Beaumont, Gopal Gupta
₹5,477
Logic and Program Semantics
Robert L. Constable, Alexandra Silva
₹5,576
Logic Programs, Norms and Action
Alexander Artikis, Robert Craven, Nihan Kesim Cicekli
₹5,618
Termination Proofs for Logic Programs
Lutz Plümer
₹5,449
Logic Program Synthesis and Transformation
John Gallagher
₹5,542
Logic Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation (1991 University of Manchester)
₹5,130
Program Development in Computational Logic
Maurice Bruynooghe, Kung-Kiu Lau
₹5,868
Logic Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation (1997 Leuven, Belgium)
₹4,239
Logic Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation (1993 Louvain-la-Neuve, Belgium)
₹4,283
Logic Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation (1992 University of Manchester)
₹4,272
Logic Program Synthesis and Transformation
Maurizio Proietti
₹5,514
Live Data Structures in Logic Programs
Anne Mulkers
₹5,492
Logic Program Synthesis and Transformation - Meta-Programming in Logic
Laurent Fribourg, Franco Turini
₹5,606
Logic-Based Program Synthesis and Transformation
Pierre Flener
₹5,546
Logic-Based Program Synthesis and Transformation
Hutchison, David - undifferentiated
₹3,253
Logic-Based Program Synthesis and Transformation
Germán Vidal
₹5,304
Logic-Based Program Synthesis and Transformation
Maurizio Gabbrielli
₹3,811
Logic-based Program Synthesis and Transformation
Moreno Falaschi
₹3,947
Logic-Based Program Synthesis and Transformation
Gopal Gupta, Ricardo Peña
₹3,804
Logic-Based Program Synthesis and Transformation
LOPSTR 2007 (2007 Lyngby, Denmark)
₹1,999
Logic-Based Program Synthesis and Transformation
LOPSTR 2006 (2006 Venice, Italy)
₹3,916