Showing 1 - 7
of 7
for search: '"Lecture notes in computer science ;"',
query time: 0.26s
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)
Call Number: Q - Science
Genre: Festschriften
Literary Form: Non fiction
Subject: Logic, Symbolic and mathematical
Institution
Collection
Format
Subject
Logic, Symbolic and mathematical
4
Computer science
3
Formal languages
3
Programming languages (Electronic computers)
2
Computer logic
2
Computer science Mathematics
more ...
2
Software engineering
1
Automatic theorem proving
1
Combinatorial analysis
1
Computer programming
1
Computer programs
1
Computer security
1
Data structures (Computer science)
1
Electronic data processing
1
Formal methods (Computer science)
1
Functional programming (Computer science)
1
Game theory
1
Logic
1
Logic design Computer programs
1
Programming (Mathematics)
1
Reasoning Automation
1
Reasoning Technique
see all ...
less ...
Author
SpringerLink (Online service)
1
Achten, Peter, 1967-
1
Casadio, C.
1
Coecke, Bob
1
Coecke, Bob,
1
Day, Adam,
more ...
1
Di Pierro, Alessandra
1
Downey, R. G.
1
Fellows, M. R. 1952-
1
Greenberg, Noam,
1
Hankin, Chris,
1
Hutter, Dieter
1
International Symposium on Implementation and Application of Functional Languages
1
Khoussainov, Bakhadyr, 1961-
1
Koopman, Pieter,
1
Lambek, Jim,
1
Lindley, Sam,
1
Malacaria, Pasquale
1
McBride, Conor,
1
Melʹnikov, A. V., 1953-
1
Moortgat, Michael,
1
Nagarajan, R.
1
Ong, Luke
1
Panangaden, P.
1
Plasmeijer, M. J.
1
Rosamond, Frances,
1
Sannella, D. 1956-
1
Scott, Philip,
1
Siekmann, Jörg H.
1
Stephan, Werner, 1895-
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication