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