Showing 1 - 17
of 17
for search: '',
query time: 0.08s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
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
Logic
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 design Computer programs
1
Mathematicians
1
Mathematics
1
Philosophy
1
Programming (Mathematics)
1
Reasoning Automation
1
Reasoning Technique
1
Science Methodology
see all ...
less ...
Author
9
SpringerLink (Online Service)
6
SpringerLink (Online service)
2
Buchsbaum, Arthur,
2
Béziau, Jean-Yves,
2
Koslow, Arnold,
1
Abe, Jair Minoro,
more ...
1
Achten, Peter, 1967-
1
Agrawal, Manindra, 1966-
1
Akama, Seiki,
1
Alonso, Enrique,
1
Arai, Toshiyasu
1
Arvind, V.,
1
Biswas, S. 1952-
1
Bunge, Mario, 1919-2020
1
Casadio, C.
1
Coecke, Bob
1
Coecke, Bob,
1
Day, Adam,
1
Di Pierro, Alessandra
1
Downey, R. G.
1
Feferman, Solomon,
1
Fellows, M. R. 1952-
1
Greenberg, Noam,
1
Hankin, Chris,
1
Henkin, Leon,
1
Hutter, Dieter
1
International Symposium on Implementation and Application of Functional Languages
1
Jäger, Gerhard,
1
Khoussainov, Bakhadyr, 1961-
1
Kikuchi, Makoto (Mathematician)
see all ...
less ...
Language
Literary Form
Region
Year of Publication