Explore: Automath (langage Formalisé)
Discover books, insights, and more — all in one place.
Learn more about Automath (langage Formalisé) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “automath-%28langage-formalis%C3%A9%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Automath;
By N. G. de Bruijn
“Automath;” Metadata:
- Title: Automath;
- Author: N. G. de Bruijn
- Language: English
- Number of Pages: Median: 62
- Publisher: ➤ Les Presses de L'Université de Montréal - Les Presses de L'Universite de Montreal
- Publish Date: 1973
- Publish Location: Montréal
“Automath;” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL8225592M - OL5465085M
- Online Computer Library Center (OCLC) ID: 707931
- Library of Congress Control Number (LCCN): 73167871
- All ISBNs: 0840502230 - 9780840502230
Access and General Info:
- First Year Published: 1973
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Automath; at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.