Showing 1 - 3
of 3
for search: '',
query time: 5.04s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Logic, Symbolic and mathematical
Subject: Computer logic
Subject: Electronic data processing
Institution
Collection
Format
Subject
Computer logic
3
Computer science
Electronic data processing
Logic, Symbolic and mathematical
2
Artificial intelligence
2
Formal languages
more ...
2
Logic
2
Software engineering
1
Computer programs
1
Computer programs Verification
1
Computer security
1
Computer software Verification
1
Data protection
1
Formal methods (Computer science)
1
Game theory
1
Programming languages (Electronic computers)
1
Uncertainty (Information theory)
see all ...
less ...
Author
Language
Literary Form
Era
Call Number
Year of Publication