Showing 1 - 20
of 60
for search: '',
query time: 0.18s
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
Institution: Colorado Mesa University
Subject: Artificial intelligence
Subject: Logic, Symbolic and mathematical
Institution
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
Automatic theorem proving
4
Computer networks
4
Logic
4
Uncertainty (Information theory)
3
Algorithms
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
Knowledge, Theory of
2
Logic programming
see all ...
less ...
Author
56
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) 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-
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication