Showing 1 - 20
of 45
for search: '',
query time: 0.09s
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
Genre: Conference papers and proceedings
Subject: Artificial intelligence
Subject: Logic, Symbolic and mathematical
Institution
Collection
Format
Subject
Artificial intelligence
Logic, Symbolic and mathematical
20
Software engineering
16
Computer science
12
Computer logic
10
Formal languages
more ...
7
Database management
7
Programming languages (Electronic computers)
5
Computer programming
5
Computer science Mathematics
5
Formal methods (Computer science)
4
Computer networks
4
Computer software Verification
3
Automatic theorem proving
3
Computer simulation
2
Algorithms
2
Computer architecture
2
Computers
2
Data mining
2
Knowledge representation (Information theory)
2
Knowledge, Theory of
2
Logic programming
2
Machine theory
2
Pattern perception
2
Reasoning
2
Semantic Web
2
Uncertainty (Information theory)
1
Application software
1
Artificial intelligence Mathematical models
1
Biology Computer simulation
see all ...
less ...
Author
43
SpringerLink (Online service)
9
JELIA (Conference)
3
AISC (Conference)
3
RuleML+RR (Joint Conference)
3
Wang, Dongming, 1961-
2
Calmet, Jacques,
more ...
2
Herzig, Andreas, 1949-
2
Hölldobler, Steffen, 1957-
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
2
JELIA (Conference) Dresden, Germany)
2
Méry, Dominique,
2
Roman, Dumitru (Military journalist),
2
Rudolph, Sebastian (Computer scientist)
1
ABZ (Conference)
1
ABZ (Conference) Ulm, Germany)
1
ACM Digital Library
1
AISC (Conference) Beijing, China)
1
AISC (Conference) Paris, France) Paris, France)
1
AISC (Conference) Seville, Spain)
1
ATVA (Symposium)
1
ATVA (Symposium) Chiba, Japan)
1
AUTOMATA (Workshop)
1
AUTOMATA (Workshop) Ghent, Belgium)
1
Abdelwahed, El Hassan,
1
Aguiló, Isabel,
1
American Association for Artificial Intelligence
1
Antoniou, G.
1
Antonucci, Alessandro,
1
Aranda-Corral, Gonzalo A.,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication