CSL'88 - Info and Reading Options
2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science)
By Manfred Schmidt-Schauss
"CSL'88" is published by Springer in October 18, 1989 - Berlin, Heidelberg, it has 399 pages and the language of the book is English.
“CSL'88” Metadata:
- Title: CSL'88
- Author: Manfred Schmidt-Schauss
- Language: English
- Number of Pages: 399
- Publisher: Springer
- Publish Date: October 18, 1989
- Publish Location: Berlin, Heidelberg
“CSL'88” Subjects and Themes:
- Subjects: ➤ Logique 1er ordre - Logique symbolique et mathématique - Sorting (Electronic computers) - Symbolic and mathematical Logic - Résolution problème - Représentation connaissance - Tri (Informatique) - Déduction automatique - Ordnungssortierte Logik - Formalisme - Tri (Ordinateurs) - Logique mathématique - Unifikationstheorie
Edition Specifications:
- Format: Paperback
- Weight: 1.3 pounds
- Dimensions: 9.2 x 6.1 x 0.8 inches
Edition Identifiers:
- The Open Library ID: OL12775894M - OL19836093W
- ISBN-13: 9783540516590 - 9783540467366
- ISBN-10: 354051659X
- All ISBNs: 354051659X - 9783540516590 - 9783540467366
AI-generated Review of “CSL'88”:
Read “CSL'88”:
Read “CSL'88” by choosing from the options below.
Search for “CSL'88” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “CSL'88” in Libraries Near You:
Read or borrow “CSL'88” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “CSL'88” at a library near you.
Buy “CSL'88” online:
Shop for “CSL'88” on popular online marketplaces.
- Ebay: New and used books.