Showing 1 - 11
of 11
for search: '',
query time: 0.10s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer programming
Logic, Symbolic and mathematical
10
Software engineering
8
Computer logic
8
Programming languages (Electronic computers)
7
Artificial intelligence
more ...
7
Computer science
2
Logic programming
1
Algorithms
1
Application software
1
Computer networks
1
Computer software Verification
1
Formal methods (Computer science)
1
Functional programming (Computer science)
1
Proof theory
1
Rule-based programming
1
Semantic Web
1
Type theory
see all ...
less ...
Author
10
SpringerLink (Online service)
3
RuleML+RR (Joint Conference)
2
Roman, Dumitru (Military journalist),
2
Voronkov, Andrei, 1959-
1
Benzmüller, Christoph,
1
Butler, Michael, 1967-
more ...
1
Calvanese, Diego,
1
Conchon, Sylvain,
1
Costantini, Stefania,
1
Davis, Martin,
1
Fehnker, Ansgar,
1
Fodor, Paul,
1
Franconi, Enrico,
1
Fuji International Symposium on Functional and Logic Programming
1
Fuji International Symposium on Functional and Logic Programming Online)
1
Girard, Jean-Yves
1
Gurfinkel, Arie,
1
International Conference on Formal Engineering Methods
1
International Conference on Formal Engineering Methods Tokyo, Japan)
1
Kontchakov, Roman,
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,
1
Middeldorp, Aart, 1963-
1
Montali, Marco,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication