Showing 1 - 20
of 62
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
Subject: Logic, Symbolic and mathematical
Subject: Artificial intelligence
Literary Form: Non fiction
Institution
Format
Subject
Artificial intelligence
Logic, Symbolic and mathematical
28
Computer science
23
Software engineering
16
Computer logic
12
Formal languages
more ...
10
Database management
10
Programming languages (Electronic computers)
7
Computer programming
6
Data mining
6
Electronic data processing
6
Formal methods (Computer science)
5
Computer science Mathematics
5
Computer software Verification
4
Automatic theorem proving
4
Computer networks
4
Information retrieval
4
Logic
4
Uncertainty (Information theory)
3
Algorithms
3
Computer simulation
3
Computers
3
Information organization
3
Semantic Web
2
Computational linguistics
2
Computer architecture
2
Computer programs Verification
2
Computer security
2
Data protection
2
Knowledge representation (Information theory)
see all ...
less ...
Author
57
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)
2
Voronkov, Andrei, 1959-
1
ABZ (Conference)
1
ABZ (Conference) Ulm, Germany)
1
ACM Digital Library
1
AISC (Conference) Beijing, China)
1
AISC (Conference) Seville, Spain)
1
AISC (Conference) Suzhou, China)
1
ATVA (Symposium)
1
ATVA (Symposium) Chiba, Japan)
1
AUTOMATA (Workshop)
1
AUTOMATA (Workshop) Ghent, Belgium)
1
Abdelwahed, El Hassan,
1
Aguiló, Isabel,
1
Ahrendt, Wolfgang,
1
Aiello, Marco
1
Alam, Mehwish,
see all ...
less ...
Language
Literary Form
Year of Publication