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
Remove Filters
Author: *-*
Call Number: Q - Science
Language: English
Subject: Computer logic
Subject: Computer programming
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