Showing 1 - 7
of 7
for search: '',
query time: 0.04s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer logic
Software engineering
4
Computer science
3
Computer programming
2
Computer science Mathematics
2
Logic, Symbolic and mathematical
more ...
2
Programming languages (Electronic computers)
1
Algorithms
1
Computer networks
1
Computer programs
1
Electronic data processing
1
Formal languages
1
Game theory
1
Logic
see all ...
less ...
Author
7
SpringerLink (Online service)
2
Blass, Andreas, 1947-
1
Beklemishev, Lev Dmitrievich, 1967-
1
Bodei, Chiara,
1
Börger, E. 1946-
1
Coecke, Bob
more ...
1
Cégielski, Patrick, 1954-
1
Dershowitz, Nachum
1
Dershowitz, Nachum,
1
Droste, Manfred, 1956-
1
Ferrari, Gian-Luigi,
1
Finkbeiner, Bernd
1
Finkbeiner, Bernd,
1
Gurevich, Yuri,
1
Lindley, Sam,
1
McBride, Conor,
1
Ong, Luke
1
Panangaden, P.
1
Priami, Corrado,
1
Raschke, Alexander
1
Riccobene, Elvinia, 1964-
1
Sannella, D. 1956-
1
Schewe, Klaus-Dieter
1
Schulte, Wolfram,
1
Trinder, Phil,
1
Yurifest (Symposium)
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication