Showing 1 - 16
of 16
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
Remove Filters
Subject: Logic, Symbolic and mathematical
Subject: Computer logic
Subject: Artificial intelligence
Institution
Collection
Format
Subject
Artificial intelligence
Computer logic
Logic, Symbolic and mathematical
14
Software engineering
10
Computer science
8
Programming languages (Electronic computers)
more ...
6
Computer programming
4
Database management
3
Computer networks
3
Computer software Verification
3
Formal methods (Computer science)
2
Computer programs Verification
2
Electronic data processing
2
Formal languages
2
Uncertainty (Information theory)
1
Algorithms
1
Computer science Mathematics
1
Computer security
1
Computer software Testing
1
Computer systems
1
Data protection
1
Functional programming (Computer science)
1
Knowledge representation (Information theory)
1
Logic
1
Logic programming
1
Machine theory
1
Reasoning
1
Software architecture
see all ...
less ...
Author
16
SpringerLink (Online service)
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
2
JELIA (Conference)
2
RuleML+RR (Joint Conference)
2
Voronkov, Andrei, 1959-
more ...
1
Ahrendt, Wolfgang,
1
Antonucci, Alessandro,
1
Arbel, Eli,
1
Beckert, Bernhard,
1
Benzmüller, Christoph,
1
Bloem, Roderick P.,
1
Bubel, Richard,
1
Calvanese, Diego,
1
Cholvy, Laurence,
1
DCFS (Workshop)
1
Davis, Martin,
1
Deshmukh, Jyotirmoy,
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty Lugano, Switzerland)
1
Fehnker, Ansgar,
1
FoIKS (Symposium)
1
FoIKS (Symposium) Dortmund, Germany)
1
Fodor, Paul,
1
Fuji International Symposium on Functional and Logic Programming
1
Fuji International Symposium on Functional and Logic Programming Online)
1
Gaggl, Sarah,
1
Gurfinkel, Arie,
1
Herzig, Andreas, 1949-
1
Hähnle, Reiner,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication