Showing 1 - 3
of 3
for search: '"Lecture notes in computer science. Festschrift."',
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)
Format: eBook
Subject: Logic, Symbolic and mathematical
Institution
Collection
Format
Subject
Logic, Symbolic and mathematical
1
Automatic theorem proving
1
Computer logic
1
Computer programs
1
Computer science
1
Computer science Mathematics
more ...
1
Electronic data processing
1
Formal languages
1
Formal methods (Computer science)
1
Game theory
1
Logic
1
Reasoning Automation
1
Reasoning Technique
1
Software engineering
see all ...
less ...
Author
Language
Literary Form
Era
Call Number
Year of Publication