Author Results for Apt, Krzysztof R., 1949-

Apt,Krzysztof R.,
Boer,Frank S. de
Elsevier Science & Technology
Krzysztof R. Apt
Krzysztof R. Apt ... [et al.] (eds.)
see all »
Olderog,E.-R.
SpringerLink (Online service)

1
Principles of constraint programming

Cover is for reference only
Main Authors: Apt Krzysztof R., 1949-
Published: Cambridge University Press,
Publication Dates: 2003.
Call Number: TP311.1/A655
Book
Save to List
Saved in:
2
New trends in constraints joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers

Cover is for reference only
Group Author: Apt Krzysztof R., 1949-
Published: Springer,
Publication Dates: c2000.
Call Number: TP311.11-532/N532/1999
Book
Save to List
Saved in:
3
Foundations of deductive databases and logic programming /

Cover is for reference only
Corporate Authors: Elsevier Science & Technology.
Group Author: Apt, Krzysztof R., 1949-; Minker, Jack
Published: M. Kaufmann Publishers,
Publication Dates: 1988.
eBook
Save to List
Saved in:
4
Verification of sequential and concurrent programs

Cover is for reference only
Main Authors: Apt Krzysztof R., 1949-
Corporate Authors: SpringerLink (Online service)
Group Author: Olderog E.-R.; Boer Frank S. de.
Published: Springer,
Publication Dates: c2009.
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —