Showing 1 - 20
of 48
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: SpringerLink (Online service)
Call Number: Q - Science
Format: eBook
Subject: Artificial intelligence
Subject: Computer logic
Institution
Collection
Format
Subject
Artificial intelligence
Computer logic
29
Software engineering
19
Computer science
16
Logic, Symbolic and mathematical
10
Formal methods (Computer science)
more ...
8
Computer programming
8
Programming languages (Electronic computers)
6
Computer simulation
5
Computer networks
5
Computer science Mathematics
5
Computer system failures
5
Mathematical statistics
4
Computer software Verification
4
Database management
4
Electronic data processing
3
Computer programs Verification
3
Logic
3
Logic programming
2
Automatic theorem proving
2
Computer architecture
2
Computer security
2
Computers, Special purpose
2
Formal languages
2
Logic design
2
Natural computation
2
Stochastic processes
2
Uncertainty (Information theory)
1
Algorithms
1
Application software Security measures
see all ...
less ...
Author
SpringerLink (Online service)
5
EPEW (Workshop)
3
Iacono, Mauro, 1975-
3
Modgil, Sanjay,
3
Oren, Nir,
3
TAFA (Workshop)
more ...
3
Voronkov, Andrei, 1959-
2
ASMTA (Conference)
2
Ahrendt, Wolfgang,
2
Ballarini, Paolo,
2
Beckert, Bernhard,
2
Black, Elizabeth (Lecturer in Computer Science)
2
Bubel, Richard,
2
Hähnle, Reiner,
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
2
JELIA (Conference)
2
LPAR (Conference)
2
RuleML+RR (Joint Conference)
2
UCNC (Conference)
2
Ulbrich, Mattias,
1
AILA (Conference)
1
AILA (Conference) Shanghai, China)
1
ASYDE (Workshop)
1
Antonucci, Alessandro,
1
Arbel, Eli,
1
Baader, Franz,
1
Bakhshi, Rena,
1
Barbierato, Enrico,
1
Barbot, Benoît,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication