Showing 1 - 2
of 2
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: Computer science
Subject: Logic, Symbolic and mathematical
Collection: Electronic Access
Author: International Haifa Verification Conference
Institution
Collection
Format
Subject
2
Artificial intelligence
2
Computer logic
2
Computer networks
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