Showing 1 - 4
of 4
for search: '',
query time: 0.14s
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
Subject: Artificial intelligence
Subject: Computer networks
Subject: Logic, Symbolic and mathematical
Institution
Collection
Format
Subject
Artificial intelligence
Computer networks
Logic, Symbolic and mathematical
3
Computer logic
3
Computer science
3
Software engineering
more ...
2
Programming languages (Electronic computers)
1
Computer programs Verification
1
Computer science Mathematics
1
Computer software Verification
1
Data structures (Computer science)
1
Knowledge representation (Information theory)
1
Reasoning
1
Software architecture
1
Uncertainty (Information theory)
see all ...
less ...
Author
4
SpringerLink (Online service)
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
1
Antonucci, Alessandro,
1
Arbel, Eli,
1
Bloem, Roderick P.,
more ...
1
Cholvy, Laurence,
1
Cochez, Michael,
1
Croitoru, Madalina,
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty Lugano, Switzerland)
1
GKR (Conference)
1
GKR (Conference) Online)
1
Marquis, Pierre (Professor of Computer Science)
1
Papini, Odile,
1
Piterman, Nir,
1
Rudolph, Sebastian (Computer scientist)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication