Showing 1 - 6
of 6
for search: '',
query time: 0.05s
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: Formal methods (Computer science)
Subject: Logic, Symbolic and mathematical
Institution
Collection
Format
Subject
Artificial intelligence
Formal methods (Computer science)
Logic, Symbolic and mathematical
4
Software engineering
3
Computer logic
3
Computer science
more ...
3
Computer software Verification
3
Formal languages
2
Programming languages (Electronic computers)
1
Algorithms
1
Computer architecture
1
Computer science Mathematics
1
Computer security
1
Computer simulation
1
Computer software Testing
1
Computers, Special purpose
1
Data protection
1
Database management
1
Electronic data processing
1
Logic
1
Machine theory
1
Uncertainty (Information theory)
see all ...
less ...
Author
6
SpringerLink (Online service)
1
CPP 2012
1
CPP 2012 Kyoto, Japan)
1
DCFS (Workshop)
1
Deshmukh, Jyotirmoy,
1
Furia, Carlo A., 1979-
more ...
1
Hawblitzel, Chris
1
ISoLA (Symposium)
1
ISoLA (Symposium) Online)
1
International Conference on Integrated Formal Methods
1
International Conference on Integrated Formal Methods Maynooth, Ireland)
1
Jirásková, Galina,
1
Jøsang, Audun,
1
Margaria-Steffen, Tiziana, 1964-
1
Miller, Dale
1
Ničković, Dejan,
1
Pighizzini, Giovanni
1
RV (Conference)
1
RV (Conference) Online)
1
Steffen, Bernhard
1
Winter, Kirsten,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication