Showing 1 - 13
of 13
for search: '',
query time: 0.07s
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
7
Software engineering
5
Computer science
3
Computer programming
2
Artificial intelligence
2
Computer science Mathematics
more ...
2
Logic
2
Logic, Symbolic and mathematical
2
Programming languages (Electronic computers)
1
Algorithms
1
Computer multitasking
1
Computer networks
1
Computer programs
1
Computer security
1
Computer software Development
1
Electronic data processing
1
Formal languages
1
Game theory
1
Logic programming
1
Natural language processing (Computer science)
see all ...
less ...
Author
13
SpringerLink (Online service)
2
Blass, Andreas, 1947-
2
Talcott, Carolyn L.,
1
Ahrendt, Wolfgang
1
Baader, Franz,
1
Ban Kirigin, Tajana,
more ...
1
Beckert, Bernhard
1
Beklemishev, Lev Dmitrievich, 1967-
1
Bodei, Chiara,
1
Bonacina, Maria Paola
1
Bubel, Richard,
1
Börger, E. 1946-
1
Coecke, Bob
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
Guttman, Joshua D.,
1
Hähnle, Reiner,
1
Johnsen, Einar Broch
1
Kuznetsov, Stepan
1
Lindley, Sam,
1
Loo, Boon Thau,
1
Lutz, Carsten, 1971-
1
Martí-Oliet, N.
1
McBride, Conor,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication