Showing 1 - 1
of 1
for search: '',
query time: 0.03s
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
Author: Bloem, Roderick P.,
Institution
Collection
Format
Subject
1
Artificial intelligence
Computer logic
1
Computer networks
1
Computer programs Verification
1
Computer science
1
Computer software Verification
more ...
Logic, Symbolic and mathematical
1
Programming languages (Electronic computers)
1
Software architecture
1
Software engineering
see all ...
less ...
Author
Language
Literary Form
Call Number
Year of Publication