Showing 1 - 11
of 11
for search: '',
query time: 0.06s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Call Number: Q - Science
Language: English
Subject: Computer programming
Subject: Logic, Symbolic and mathematical
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