Showing 1 - 9
of 9
for search: '',
query time: 0.05s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: SpringerLink (Online service)
Subject: Computer logic
Subject: Computer programming
Subject: Programming languages (Electronic computers)
Institution
Collection
Format
Subject
Computer logic
Computer programming
Programming languages (Electronic computers)
8
Software engineering
7
Computer science
6
Logic, Symbolic and mathematical
more ...
4
Artificial intelligence
2
Algorithms
2
Computer networks
1
Computer software Verification
1
Data structures (Computer science)
1
Domain-specific programming languages
1
Formal methods (Computer science)
1
Functional programming (Computer science)
1
Logic programming
1
Management information systems
see all ...
less ...
Author
SpringerLink (Online service)
2
Voronkov, Andrei, 1959-
1
Bodei, Chiara,
1
Cheng, Betty H. C.,
1
Combemale, Benoit,
1
Davis, Martin,
more ...
1
Fehnker, Ansgar,
1
Ferrari, Gian-Luigi,
1
France, Robert
1
Fuji International Symposium on Functional and Logic Programming
1
Fuji International Symposium on Functional and Logic Programming Online)
1
Globalizing Domain-Specific Languages (Seminar)
1
Globalizing Domain-Specific Languages (Seminar) Dagstuhl, Wadern, Germany)
1
Gurfinkel, Arie,
1
International Conference on Formal Engineering Methods
1
International Conference on Formal Engineering Methods Tokyo, Japan)
1
Jézéquel, Jean-Marc, 1964-
1
LPAR (Conference)
1
LPAR (Conference) Suva, Fiji)
1
Lawford, Mark,
1
Lindley, Sam,
1
Liu, Shaoying, 1960-
1
Maurer, Christian, 1945-
1
McBride, Conor,
1
McIver, Annabelle,
1
McMillan, Ken,
1
Middeldorp, Aart, 1963-
1
Nakano, Keisuke
1
Ogata, Kazuhiro,
1
Priami, Corrado,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication