Wird geladen...

QR-Code

Logics of programs

Bibliographische Detailangaben
1. Verfasser:	rohit Parikh
Format:	Printed Book
Sprache:	English
Veröffentlicht:	Springer-Verlag 1985

Ähnliche Einträge

Wird geladen...

Logic of programming /
von: Hehner, Eric C. R.
Veröffentlicht: (1991)

Wird geladen...

Logic programming :
von: Deville, Yves
Veröffentlicht: (1986)

Wird geladen...

The logic of programming
von: Hehner, Eric C R; Author
Veröffentlicht: (1984)

Wird geladen...

The Logic of Programming/
von: Hehner,Eric C R.
Veröffentlicht: (1991)

Wird geladen...

Logic of programming
von: Hehner, Eric C R
Veröffentlicht: (1991)

Wird geladen...

Programming logic and techniques

Wird geladen...

Logic and prolog programming /
von: Kaushik,Saroj
Veröffentlicht: (2008)

Wird geladen...

Logic Programming and Databases
von: Stefano Ceri,G Gottolob,L Tanca
Veröffentlicht: (1990)

Wird geladen...

Logic tools for programming
von: Phlip Pace
Veröffentlicht: (1987)

Wird geladen...

foundations of logic programming
von: j w loyd
Veröffentlicht: (1984)

Wird geladen...

Programming logic techniques/
von: NIIT
Veröffentlicht: (1997)

Wird geladen...

Microprocessors and programmed logic/
von: Short, Kenneth L.
Veröffentlicht: (2004)

Wird geladen...

Microprocessors and programmed logic/
von: Short, Kenneth L
Veröffentlicht: (2004)

Wird geladen...

Inductive logic programming
von: Muggleton, Stephen
Veröffentlicht: (1992)

Wird geladen...

Constructing Logic Programs
von: Jacquet, Jean-marie
Veröffentlicht: (1993)

Wird geladen...

Logic Programming And Databases
von: Ceri, S
Veröffentlicht: (1990)

Wird geladen...

Microprocessors and programmed logic /
von: Short, Kenneth L.
Veröffentlicht: (1981)

Wird geladen...

Algebraic and logic programming
von: Hanus, Michael
Veröffentlicht: (1996)

Wird geladen...

Logic programming Functions,relations and equations /
von: Degroot, Doug
Veröffentlicht: (1986)

Wird geladen...

The logical basis for computer programming
von: Zohar Manna ,Richard Waldinger
Veröffentlicht: (1985)

Wird geladen...

Program logics for certified compilers /
von: Appel, Andrew W., 1960-

Wird geladen...

Logical Programming with System/360
von: Stabley,Don H.
Veröffentlicht: (1970)

Wird geladen...

Fuzzy- logic- based Programming/:
von: Chang,Chin-Liang
Veröffentlicht: (1997)

Wird geladen...

Logic Programming and Knowledge Engineering
von: Tore Amble
Veröffentlicht: (1987)

Wird geladen...

Guide to Programming Logic and Design
von: Farrell, Joyce
Veröffentlicht: (2001)

Wird geladen...

Logical Basis for Computer Programming
von: Zohar Manna, Richard Waldinger
Veröffentlicht: (1990)

Wird geladen...

Advances in logic programming theory
von: Giorgio Levi
Veröffentlicht: (1994)

Wird geladen...

Programming logic and design, comprehensive
von: Farrell, Joyce
Veröffentlicht: (2011)

Wird geladen...

Programming with Higher-Order Logic /
von: Miller,, Dale
Veröffentlicht: (2012)

Wird geladen...

Micro-prolog: programming in logic /
von: Clark, K L
Veröffentlicht: (1987)

Wird geladen...

Fuzzy logic based programming
von: Chang, Chin-liang
Veröffentlicht: (1997)

Wird geladen...

Fuzzy Logic Based Programming
von: Chin-liang Chang
Veröffentlicht: (1997)

Wird geladen...

Micro-prolog: Programming In Logic
von: Clark, K L
Veröffentlicht: (1987)

Wird geladen...

Programming with Higher-order Logic
von: Miller, Dale Nadathur, Gopalan
Veröffentlicht: (2012)

Wird geladen...

Program Logics for Certified Compilers
von: Andrew W Appel
Veröffentlicht: (2014)

Wird geladen...

Fuzzy logic based programming /
von: Chang,Chin Liang
Veröffentlicht: (1997)

Wird geladen...

The Logic programming paradigm : a 25-year perspective /
Veröffentlicht: (1999)

Wird geladen...

Object-oriented programming with C++
von: Khurana, Rohit
Veröffentlicht: (2008)

Wird geladen...

Object oriented programming with C++
von: Khurana, Rohit
Veröffentlicht: (2008)

Wird geladen...

Object Oriented Programming with C++
von: Rohit Khurana
Veröffentlicht: (2008)