Krzysztof R. Apt
Krzysztof R. Apt
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryLI
Lectures in game theory for computer scientists
cover - Image source: Open LibraryPO
Principles of constraint programming
cover - Image source: Open LibraryVO
Verification of sequential and concurrent programs
cover - Image source: Open LibraryNP
New perspectives on games and interaction
cover - Image source: Open LibraryNP
New perspectives on games and interaction
cover - Image source: Open LibraryCL
Constraint logic programming using ECLiPSe
cover - Image source: Open LibraryPO
Principles of constraint programming
cover - Image source: Open LibraryTL
The Logic programming paradigm
cover - Image source: Open LibraryFL
From logic programming to Prolog
cover - Image source: Open LibraryVO
Verification of sequential and concurrent programs
cover - Image source: Open LibraryP
Programmverifikation
cover - Image source: Open LibraryMA
Meta-logics and logic programming
cover - Image source: Open LibraryLP
Logic programming languages
cover - Image source: Open LibraryFD
Formal description of programming concepts
cover - Image source: Open LibraryFO
Foundations of deductive databases and logic programming
cover - FOFoundations of computer science IIKrzysztof R. Apt
Foundations of computer science II
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Lectures in game theory for computer scientists
- Open Work
Principles of constraint programming
- Open Work
Verification of sequential and concurrent programs
- Open Work
New perspectives on games and interaction
- Open Work
New perspectives on games and interaction
- Open Work
Constraint logic programming using ECLiPSe
- Open Work
Principles of constraint programming
- Open Work
The Logic programming paradigm
- Open Work
From logic programming to Prolog
- Open Work
Verification of sequential and concurrent programs
- Open Work
Programmverifikation
- Open Work
Meta-logics and logic programming
- Open Work
Logic programming languages
- Open Work
Formal description of programming concepts
- Open Work
Foundations of deductive databases and logic programming
- Open Work
Foundations of computer science II