Term Logic with Choice Operator
Hans Hermes
₹2,020
Aufzählbarkeit Entscheidbarkeit Berechenbarkeit
Einführung in die Theorie der rekursiven Funktionen
by Hans Hermes
Springer · 1978 · Paperback
₹4,239
Free delivery. Nothing extra to pay at checkout.
Same Day ShippingIn 3–5 days
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🏷️Use code GIG9, pay ₹3,857 — save ₹382 (up to ₹500 off per order)
- 💵Cash on Delivery — pay when the parcel reaches you
About this book
Topics covered include Algorithms, Computable functions, Gödel's theorem and Recursive functions.
Book details
- ISBN-13
- 9783540088691
- ISBN-10
- 3540088695
- Author
- Hans Hermes
- Publisher
- Springer
- Published
- 1978
- Edition
- 3 edition
- Binding
- Paperback
- Pages
- 258
- Language
- English
- Condition
- New
- Subject
- Algorithms
More by Hans Hermes and related titles
Einführung in Die Mathematische Logik
Hans Hermes
₹3,249
Einführung in Die Verbandstheorie
Hans Hermes
₹3,141
Randomization, Approximation, and Combinatorial Optimization. Algorithms and Techniques
Dorit Hochbaum, Klaus Jansen, Jose D. P. Rolim
₹5,527
Introduction to the Analysis of Algorithms, an
Michael Soltys-Kulinicz
₹4,115
Modèles Aléatoires
Jean-François Delmas, Benjamin Jourdain
₹4,835
Support Vector Machines and Evolutionary Algorithms for Classification
Catalin Stoean, Ruxandra Stoean
₹7,775
Algorithm Synthesis
David M. Steier, A. Penny Anderson
₹3,582
Algorithms for Random Generation and Counting
A. Sinclair
₹3,829
Nonlinear Programming
Anthony V. Fiacco, Garth P. McCormick
₹5,132
Aritmetica
Giulio Cesare Barozzi
₹2,117
Term Rewriting and Applications
International Conference on Rewriting Techniques and Applications (18th 2007 Paris, France)
₹4,267
