Showing 1 - 20
of 32
for search: '',
query time: 0.10s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Logic, Symbolic and mathematical
Subject: Computer logic
Collection: Electronic Access
Institution
Collection
Format
Subject
Computer logic
Logic, Symbolic and mathematical
24
Software engineering
21
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
Logic
3
Computer networks
3
Computer simulation
3
Electronic data processing
3
Formal languages
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
32
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