Showing 1 - 20
of 23
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
Remove Filters
Author: *-*
Call Number: Q - Science
Subject: Artificial intelligence
Subject: Logic, Symbolic and mathematical
Subject: Software engineering
Institution
Collection
Format
Subject
Artificial intelligence
Logic, Symbolic and mathematical
Software engineering
14
Computer logic
14
Computer science
10
Programming languages (Electronic computers)
more ...
7
Computer programming
6
Formal languages
5
Computer software Verification
4
Database management
4
Formal methods (Computer science)
3
Computer networks
2
Computer architecture
2
Computer programs Verification
2
Computer science Mathematics
2
Logic programming
1
Algorithms
1
Application software
1
Automatic theorem proving
1
Computer simulation
1
Computer software Testing
1
Computer systems
1
Computers, Special purpose
1
Electronic data processing
1
Functional programming (Computer science)
1
Intelligent agents (Computer software)
1
Knowledge management
1
Knowledge representation (Information theory)
1
Machine learning
1
Machine theory
see all ...
less ...
Author
23
SpringerLink (Online service)
3
RuleML+RR (Joint Conference)
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
2
JELIA (Conference)
2
Méry, Dominique,
more ...
2
Roman, Dumitru (Military journalist),
2
Voronkov, Andrei, 1959-
1
ABZ (Conference)
1
ABZ (Conference) Ulm, Germany)
1
ATVA (Symposium)
1
ATVA (Symposium) Chiba, Japan)
1
Abdelwahed, El Hassan,
1
Ahrendt, Wolfgang,
1
Antonucci, Alessandro,
1
Arbel, Eli,
1
Artho, Cyrille,
1
Beckert, Bernhard,
1
Bellatreche, Ladjel, 1968-
1
Benzmüller, Christoph,
1
Bloem, Roderick P.,
1
Bubel, Richard,
1
CPP 2012
1
CPP 2012 Kyoto, Japan)
1
Calvanese, Diego,
1
Cholvy, Laurence,
1
Costantini, Stefania,
1
Davis, Martin,
1
Deshmukh, Jyotirmoy,
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication