Showing 1 - 16
of 16
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
Institution
Collection
Format
Subject
Computer logic
Computer programming
13
Software engineering
10
Computer science
9
Programming languages (Electronic computers)
8
Artificial intelligence
more ...
8
Logic, Symbolic and mathematical
3
Computer networks
2
Algorithms
1
Cellular automata
1
Computer architecture
1
Computer organization
1
Computer software Verification
1
Computer-aided engineering
1
Computers, Special purpose
1
Data structures (Computer science)
1
Deontic logic
1
Domain-specific programming languages
1
Formal methods (Computer science)
1
Functional programming (Computer science)
1
Logic programming
1
Management information systems
1
Molecular computers
1
Turing machines
see all ...
less ...
Author
16
SpringerLink (Online service)
2
RuleML+RR (Joint Conference)
2
Voronkov, Andrei, 1959-
1
Benzmüller, Christoph,
1
Bodei, Chiara,
1
Calvanese, Diego,
more ...
1
Cheng, Betty H. C.,
1
Combemale, Benoit,
1
Davis, Martin,
1
Durand-Lose, Jérôme
1
Fehnker, Ansgar,
1
Ferrari, Gian-Luigi,
1
Fodor, Paul,
1
France, Robert
1
Fuji International Symposium on Functional and Logic Programming
1
Fuji International Symposium on Functional and Logic Programming Online)
1
Gabmeyer, Sebastian,
1
Globalizing Domain-Specific Languages (Seminar)
1
Globalizing Domain-Specific Languages (Seminar) Dagstuhl, Wadern, Germany)
1
Governatori, Guido
1
Gurfinkel, Arie,
1
International Conference on Deontic Logic in Computer Science
1
International Conference on Deontic Logic in Computer Science Fiesole, Italy)
1
International Conference on Formal Engineering Methods
1
International Conference on Formal Engineering Methods Tokyo, Japan)
1
Johnsen, Einar Broch,
1
Jézéquel, Jean-Marc, 1964-
1
LPAR (Conference)
1
LPAR (Conference) Suva, Fiji)
1
Lawford, Mark,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication