Search results for “[subject: programming-algorithms]”
Filters
- Springer
- 17 Books Ltd
- 17 Books Publishing
- 3dtech
- 64 Ink
- 1423 Interests LLC
- 12th Media Services
- 0xford University Press
- 3ichael 7ambert
- 978-83-966847-2-1
- A K Peters
- A K PETERS
- A. Smith Media
- A.F. Slade Publishing
- Aaip
- AB Publisher LLC
- Abbott Properties
- Abdelfattah Ragab
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ability First Limited
- Abiprod Pty Ltd
- Abrazol Publishing
- Academic
- Academic Press
- Academiques
- ACM
- ACM Books
- Acorn Books
- ADA Protosmith
- ADavis Publishing
- Addison-Wesley Professional
- Adesh Silva
- Advantage Point Test Prep
- Adventure Times Narratives
- Afolabi Onadipe
- Agencia Brasileira Do ISBN
- AI Publishing LLC
- Aiden Phillips
- ALA Editions
- Alan Grid
- Alanna Maldonado
- Alaric Hemingway
- Aldera
- Alfonso Floyd
- Algorithms
- Ali Cehreli
- Amanda Symonds
- Amazon Digital Services LLC - Kdp
- Amber Lord
- Ambra Verlag
- American Academic Press
- American Association for Physician Leadership
- American Library Association
- American Mathematical Society
- Amphoto Books
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Andrews UK Limited
- Angel Love
- Ankit Bhandawat
- Annabooks, LLC.
- Anson Street Press
- Anton Kamenov
- Any Book That Inspires a Division of Twelve:
- Anya Petrova
- Aperture
- Apex Test Prep
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arkose Press
- Armor Fiction
- Artech House Publishers
- Arthur M. Doweyko
- Ary Publisher
- ASCD
- Association for Computing Machinery
- Athabasca University Press
- Atique Mindscape Publishing
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Automation Consulting, LLC
- Av2
- AV Akademikerverlag
- Axelrod Schnall Publishers
- Azhar Sario Dubai
- Bachelor + Master Publishing
- Bad Betty Press
- BCS, the Chartered Institute for It
- BPB Publications
- Birkhauser
- 17 Books Ltd
- 17 Books Publishing
- 3dtech
- 64 Ink
- 1423 Interests LLC
- 12th Media Services
- 0xford University Press
- 3ichael 7ambert
- 978-83-966847-2-1
- A K PETERS
- A K Peters/CRC Press
- A. Smith Media
- A.F. Slade Publishing
- Aaip
- AB Publisher LLC
- Abbott Properties
- Abdelfattah Ragab
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ability First Limited
- Abiprod Pty Ltd
- Abrazol Publishing
- Acad Pr
- Academic
- Academic Press
- Academiques
- ACM
- ACM Books
- Acorn Books
- ADA Protosmith
- ADavis Publishing
- Addison-Wesley Professional
- AddisWesle
- Adesh Silva
- Advantage Point Test Prep
- Adventure Times Narratives
- Afolabi Onadipe
- Agencia Brasileira Do ISBN
- AI Publishing LLC
- Aiden Phillips
- ALA Editions
- Alan Grid
- Alanna Maldonado
- Alaric Hemingway
- Aldera
- Alfonso Floyd
- Algorithms
- Ali Cehreli
- Amanda Symonds
- Amazon Digital Services LLC - Kdp
- Amber Lord
- Ambra Verlag
- American Academic Press
- American Association for Physician Leadership
- American Library Association
- American Mathematical Society
- Amphoto Books
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Andrews UK Limited
- Angel Love
- Ankit Bhandawat
- Annabooks, LLC.
- Anson Street Press
- Anton Kamenov
- Any Book That Inspires a Division of Twelve:
- Anya Petrova
- Aperture
- Apex Test Prep
- Apple Academic Press
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arkose Press
- Armor Fiction
- Artech House Publishers
- Arthur M. Doweyko
- Ary Publisher
- ASCD
- Association for Computing Machinery
- Athabasca University Press
- Atique Mindscape Publishing
- Atlantic
- Atlantis Press
- Atropos Press
- Auerbach P
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Automation Consulting, LLC
- Av2
- AV Akademikerverlag
- Axelrod Schnall Publishers
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- Earth-Science/Environment
- Economics
- Education & Psychology
- Engineering
- English Literature
- General Books
- Graphic Design & Animation
- History
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Veterinary
- A. Sinclair
- Alain Darte
- Arthur O. Pittenger
- Bernd Schröder
- Brigitte Chauvin
- Bronstein
- C. M. Ringel
- Comfort
- Cullum
- Daniel H. Greene
- Daniel Hernández-Hernández
- Daniele Gardy
- Dario Bini
- Devroye
- Franck Van Breughel
- G. Zhang
- George Polya
- Gil Kalai
- H. R. Hc6rnlein
- Hans Riesel
- Harold M. Edwards
- Howard Karloff
- István Gaál
- Ivo Nowak
- J. A. Storer
- James S. Royer
- Jean-Michel Muller
- Jerry Glynn
- K. Ko
- Karsten M. Decker
- Ke-Lin Du
- Kläy
- Küpper
- L. Collatz
- M. E. Pohst
- Mark Jerrum
- Michael Drmota
- Michael Huber
- Misha Gromov
- P. -L Curien
- Peter O'Hearn
- Philipp Kügler
- Raatz
- Rayadurgam Srikant
- Roberto Cominetti
- Roberto Mantaci
- Smith
- Supowit
- Uwe Schöning
- Valery Romanovski
- Victor Y. Pan
- W. Gander
- Yorick Hardy
- Yuli Eidelman
- 1787-1854 Old Humphrey
-  ТЕИДИ
- Шойхеk
- عبد ال
- ‪nathanaël Fijalkow
- 王晋康
- -. -
- A Country Clergyman
- A.
- A. A. Markov
- A. A. Schoone
- A. B. Chaudhuri
- A. Borkowski
- A. E. Eiben
- A. Ershov
- A. Faruqi
- A. H. G. Rinnooy Kan
- A. I. Malcev
- A. Ismael F. Vaz
- A. J
- A. J. Kfoury
- A. J. Metei
- A. K. Dewdney
- A. Kaveh
- A. L. Rowse
- A. Lincoln Barker
- A. M. Vinogradov
- A. Melville
- A. Migdalas
- A. Min Tjoa
- A. N. M. Bazlur Rashid
- A. N. Tikhonov
- A. Ohri
- A. P. Ershov
- A. Parveen
- A. R. Conn
- A. S. Poznyak
- A. S. Tritton
- A. Salwicki
- A. Sima Uyar
- A. Thayse
- A. Udaya Shankar
- A. Van Wijngaarden
- A. Van Wijngaarden Et Al
- A. W. Biermann
- A. Yu. Kitaev, A. H. Shen and M. N. Vyalyi
Products
Graph-Based Proof Procedures for Horn Clauses
Raatz
Paperback
Current price
₹3,672
Original price
₹5,649
Original price
₹5,649
Original price
₹5,649
(-35%)
₹3,672
Current price
₹3,672
| /
• Author(s): Raatz • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - GeneralThe origins of this monograph lie in my Ph.D. dissertation of 1987 at the University of Pennsylvania, which was concerned with proof procedures...
View full details
