Showing 1 - 11
of 11
for search: '',
query time: 0.07s
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
Subject: Programming languages (Electronic computers)
Institution
Collection
Format
Subject
Computer logic
Logic, Symbolic and mathematical
Programming languages (Electronic computers)
11
Software engineering
9
Computer science
8
Artificial intelligence
more ...
6
Computer programming
4
Computer software Verification
2
Algorithms
2
Computer networks
2
Computer programs Verification
2
Formal methods (Computer science)
1
Computer simulation
1
Computer software Testing
1
Electronic data processing
1
Functional programming (Computer science)
1
Logic programming
1
Software architecture
see all ...
less ...
Author
11
SpringerLink (Online service)
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
2
Voronkov, Andrei, 1959-
1
Abate, Alessandro,
1
Ahrendt, Wolfgang,
more ...
1
Arbel, Eli,
1
Beckert, Bernhard,
1
Bloem, Roderick P.,
1
Bubel, Richard,
1
Davis, Martin,
1
Deshmukh, Jyotirmoy,
1
FORMATS (Conference)
1
FORMATS (Conference) Berlin, Germany)
1
Fehnker, Ansgar,
1
Fuji International Symposium on Functional and Logic Programming
1
Fuji International Symposium on Functional and Logic Programming Online)
1
Geeraerts, Gilles,
1
Gurfinkel, Arie,
1
Hähnle, Reiner,
1
International Conference on Formal Engineering Methods
1
International Conference on Formal Engineering Methods Tokyo, Japan)
1
LPAR (Conference)
1
LPAR (Conference) Suva, Fiji)
1
Lawford, Mark,
1
Lindley, Sam,
1
Liu, Shaoying, 1960-
1
McBride, Conor,
1
McIver, Annabelle,
1
McMillan, Ken,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication