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
Author: International Haifa Verification Conference
Author: SpringerLink (Online service)
Call Number: Q - Science
Collection: Electronic Access
Subject: Artificial intelligence
Subject: Computer logic
Institution
Collection
Format
Subject
Artificial intelligence
Computer logic
2
Computer networks
2
Computer science
2
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