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
Author: Bloem, Roderick P.,
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
1
Computer networks
1
Computer programs Verification
1
Computer science
1
Computer software Verification
more ...
1
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