Reset Filters
Language: English

Author Results for Apt Krzysztof R 1949-

Apt,Krzysztof R.,
Apt,Krzysztof R
Apt, Krzysztof R.,,1949-
Boer,Frank S. de
Compulog-Net
see all »
Elsevier Science & Technology
European Research Consortium for Informatics and Mathematics
K.R. Apt ... [et al.], (eds)
Krzysztof R. Apt
Krzysztof R. Apt, Ernst-Rudiger Olderog

1
A brief history of mathematics for curious minds /

Cover is for reference only
Main Authors: Apt, Krzysztof R., 1949- (Author)
Published: World Scientific Publishing Co. Pte. Ltd.,
Publication Dates: [2024]
Call Number: O1-49/A655
Book
Save to List
Saved in:
2
The Logic programming paradigm a 25-year perspective

Cover is for reference only
Group Author: Apt Krzysztof R 1949-
Published: Springer,
Publication Dates: c1999.
Call Number: TP311.11/L832.3/
Book
Save to List
Saved in:
3
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:
5
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:
6
Verification of sequential and concurrent programs

Cover is for reference only
Main Authors: Apt Krzysztof R 1949-
Group Author: Olderog Ernst-Rudiger
Published: Springer-Verlag,
Publication Dates: c1997.
Call Number: TP31-43/A655/2nd ed./
Book
Save to List
Saved in:
7
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 —