Showing 1 - 20
of 38
for search: '',
query time: 0.12s
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
Genre: Conference papers and proceedings
Collection: Electronic Access
Subject: Artificial intelligence
Subject: Computer logic
Institution
Collection
Format
Subject
Artificial intelligence
Computer logic
25
Software engineering
15
Computer science
12
Logic, Symbolic and mathematical
9
Formal methods (Computer science)
more ...
6
Computer programming
6
Computer simulation
5
Computer networks
5
Computer science Mathematics
5
Computer system failures
5
Mathematical statistics
5
Programming languages (Electronic computers)
4
Database management
3
Logic programming
2
Automatic theorem proving
2
Computer architecture
2
Computer programs Verification
2
Computer software Verification
2
Computers, Special purpose
2
Electronic data processing
2
Logic
2
Logic design
2
Natural computation
2
Stochastic processes
1
Algorithms
1
Application software Security measures
1
Automatic control
1
Computer industry
1
Computer organization
see all ...
less ...
Author
SpringerLink (Online service)
5
EPEW (Workshop)
3
Iacono, Mauro, 1975-
3
Modgil, Sanjay,
3
Oren, Nir,
3
TAFA (Workshop)
more ...
2
ASMTA (Conference)
2
Ballarini, Paolo,
2
Black, Elizabeth (Lecturer in Computer Science)
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
Voronkov, Andrei, 1959-
1
AILA (Conference)
1
AILA (Conference) Shanghai, China)
1
ASYDE (Workshop)
1
Antonucci, Alessandro,
1
Arbel, Eli,
1
Bakhshi, Rena,
1
Barbierato, Enrico,
1
Barbot, Benoît,
1
Benzmüller, Christoph,
1
Bitsch, Friedemann,
1
Björner, Nikolaj
1
Black, Elizabeth,
1
Bloem, Roderick P.,
1
CAV (Conference)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication