Showing 1 - 20
of 33
for search: '',
query time: 0.08s
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
Logic, Symbolic and mathematical
24
Software engineering
22
Computer science
16
Artificial intelligence
11
Programming languages (Electronic computers)
more ...
8
Computer programming
6
Algorithms
6
Formal methods (Computer science)
5
Computer software Verification
5
Database management
4
Computers, Special purpose
4
Formal languages
4
Logic
3
Computer networks
3
Computer simulation
3
Electronic data processing
2
Computer programs Verification
2
Computers
2
Uncertainty (Information theory)
1
Computation by Abstract Devices
1
Computer programs
1
Computer science Mathematics
1
Computer security
1
Computer software Testing
1
Computer systems
1
Data protection
1
Functional programming (Computer science)
1
Game theory
1
Knowledge representation (Information theory)
see all ...
less ...
Author
33
SpringerLink (Online service)
4
IMBSA (Symposium)
4
Workshop on Logic, Language, Information and Computation
3
Queiroz, Ruy J. G. B. de
2
Bozzano, Marco,
2
International Haifa Verification Conference
more ...
2
International Haifa Verification Conference Haifa, Israel)
2
JELIA (Conference)
2
Ong, Luke
2
Papadopoulos, Yiannis (Professor of Computer Science)
2
RuleML+RR (Joint Conference)
2
Voronkov, Andrei, 1959-
2
Zeller, Marc
1
Abate, Alessandro,
1
Ahrendt, Wolfgang,
1
Antonucci, Alessandro,
1
Arbel, Eli,
1
Aslansefat, Koorosh,
1
Beckert, Bernhard,
1
Benzmüller, Christoph,
1
Bloem, Roderick P.,
1
Bojańczyk, Mikołaj,
1
Bubel, Richard,
1
Calvanese, Diego,
1
Cholvy, Laurence,
1
Ciabattoni, Agata,
1
Coecke, Bob
1
DCFS (Workshop)
1
Davis, Martin,
1
Dawar, Anuj
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication