Explore: Algebraische Logica
Discover books, insights, and more — all in one place.
Learn more about Algebraische Logica with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “algebrai%C2%98sche-logica”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Logic Colloquium '92
By Logic Colloquium '92 (Veszprem, Hungary : 1992)
“Logic Colloquium '92” Metadata:
- Title: Logic Colloquium '92
- Author: ➤ Logic Colloquium '92 (Veszprem, Hungary : 1992)
- Number of Pages: Median: 319
- Publisher: CSLI Publications
- Publish Date: 1995
- Publish Location: Stanford, Calif
“Logic Colloquium '92” Subjects and Themes:
- Subjects: ➤ Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematische Logik - Algebraische logica - Symbolische logica - Kongress - Programming languages (electronic computers)
Edition Identifiers:
- The Open Library ID: OL22115332M
- Online Computer Library Center (OCLC) ID: 32859675
- Library of Congress Control Number (LCCN): 95024484
- All ISBNs: 9781881526988 - 1881526984
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Logic Colloquium '92 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Rewriting techniques and applications
By International Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark)
“Rewriting techniques and applications” Metadata:
- Title: ➤ Rewriting techniques and applications
- Author: ➤ International Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark)
- Language: English
- Number of Pages: Median: 385
- Publisher: Springer
- Publish Date: 2002
- Publish Location: Berlin - New York
“Rewriting techniques and applications” Subjects and Themes:
- Subjects: ➤ Congresses - Computer programming - Rewriting systems (Computer science) - Algorithms - Programmation - Algebraische logica - Bewijstheorie - Reecriture, Systemes de (Informatique) - Congres - Reduktionssystem - Algorithmes - Specificatie - Programmation (Informatique) - Ordinateurs - Computermethoden - Computer science - Logic design - Algebra - Data processing - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL17719532M - OL17606936M - OL17840963M
- Online Computer Library Center (OCLC) ID: 50041194
- Library of Congress Control Number (LCCN): 2002075871
- All ISBNs: 9783540439165 - 3540439161
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Rewriting techniques and applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.