Mos 2019 Study Guide for Microsoft Excel
Joan Lambert
₹1,913
Selected Papers on Automath
V. 133
Elsevier Science Ltd · 1994
₹3,609
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Selected Papers on Automath: V. 133 by R. P. Nederpelt is a 1044-page book published by Elsevier Science Ltd in 1994. It belongs to the Studies in logic and the foundations of mathematics series.
Its main subjects are AUTOMATH (Formal language) and Computer programs.
Book details
- ISBN-13
- 9780444898227
- ISBN-10
- 0444898220
- Author
- R. P. Nederpelt
- Publisher
- Elsevier Science Ltd
- Published
- 1994
- Series
- Studies in logic and the foundations of mathematics
- Pages
- 1044
- Language
- English
- Condition
- New
- Subject
- Textbooks & Study Guides
More in Textbooks & Study Guides
Quality and Safety in Anesthesia and Perioperative Care
Keith J. Ruskin, Marjorie P. Stiegler, Stanley H. Rosenbaum
₹11,634
Canine Hypothyroidism and Feline Hyperthyroidism
ALENZA
₹5,166
People's Movements, People's Press
Bob Ostertag
₹2,575
Do Wave Functions Jump?
Valia Allori, Angelo Bassi, Detlef Dürr, Nino Zanghi
₹9,603
Uncertain Power
D. Zinberg
₹4,044
Kubernetes Programming with Go
Philippe Martin
₹4,960
Disorders of the Self
Marshall L. Silverstein
₹3,907
Arguments of the Hon. Edward Stanly, of Counsel for the Receiver, and T. W. Park, Esq., of Counsel for Alvin Adams, with the Charge of the Court
Anonymous
₹1,624
Politics of Deconstruction
Susanne Ldemann
₹2,407
Categories of Operator Modules
Paul S. Muhly, Vern I. Paulsen, David P. Blecher
₹3,187
Corinthian Hellenistic Pottery
G. Roger Edwards
₹2,716