Showing 1 - 20
of 56
for search: '',
query time: 0.19s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: SpringerLink (Online service)
Author: *-*
Call Number: Q - Science
Subject: Artificial intelligence
Subject: Logic, Symbolic and mathematical
Institution
Collection
Format
Subject
Artificial intelligence
Logic, Symbolic and mathematical
26
Computer science
23
Software engineering
16
Computer logic
12
Formal languages
more ...
10
Programming languages (Electronic computers)
9
Database management
7
Computer programming
6
Data mining
6
Formal methods (Computer science)
5
Computer science Mathematics
5
Computer software Verification
5
Electronic data processing
4
Computer networks
4
Logic
4
Uncertainty (Information theory)
3
Algorithms
3
Automatic theorem proving
3
Computer simulation
3
Computers
3
Information retrieval
2
Computer architecture
2
Computer programs Verification
2
Computer security
2
Data protection
2
Information organization
2
Knowledge representation (Information theory)
2
Logic programming
2
Machine theory
see all ...
less ...
Author
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
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
Ahrendt, Wolfgang,
1
Aiello, Marco
1
Alor-Hernández, Giner, 1977-
1
Antoniou, G.
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication