Showing 1 - 5
of 5
for search: '',
query time: 0.04s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Genre: Conference papers and proceedings
Genre: Festschriften
Subject: Logic, Symbolic and mathematical
Institution
Collection
Format
Subject
Logic, Symbolic and mathematical
2
Computer science
2
Formal languages
1
Automatic theorem proving
1
Computer logic
1
Computer programs
more ...
1
Electronic data processing
1
Formal methods (Computer science)
1
Functional programming (Computer science)
1
Game theory
1
Logic
1
Programming languages (Electronic computers)
1
Reasoning Automation
1
Reasoning Technique
1
Software engineering
see all ...
less ...
Author
3
SpringerLink (Online service)
1
Achten, Peter, 1967-
1
Arai, Toshiyasu
1
Coecke, Bob
1
Hutter, Dieter
1
International Symposium on Implementation and Application of Functional Languages
more ...
1
Kikuchi, Makoto (Mathematician)
1
Koopman, Pieter,
1
Kuroda, Satoru
1
Lenski, Wolfgang, 1952-
1
Okada, Mitsuhiro
1
Ong, Luke
1
Panangaden, P.
1
Plasmeijer, M. J.
1
Richter, Michael M., 1938-
1
Siekmann, Jörg H.
1
SpringerLink (Online Service)
1
Stephan, Werner, 1895-
1
Symposium on Advances in Mathematical Logic
1
Symposium on Advances in Mathematical Logic Kobe, Japan)
1
Takeuti, Gaisi, 1926-2017,
1
Yorioka, Teruyuki
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication