Filters
- Springer
- 8080 Books
- 17 Books Publishing
- 4 Dog Arts
- 3dtech
- 64 Ink
- 50minutes.com (It)
- 50minutes.com (Nl)
- 50minutes.com (Pl)
- 50minutes.com (Pt)
- 1st Book Library
- 12th Media Services
- 978-1-7753126-1-1
- 978-1-7773545-1-0
- 978-83-966847-2-1
- A1 Entities, Inc.
- A K PETERS
- A.E Colonna
- A.F. Slade Publishing
- A.R.E. Press (Association of Research & Enlig
- Aaip
- Aaron Brummet
- Aaron Crenshav
- Abbott Properties
- Abdelfattah Ragab
- Ability First Limited
- Abingdon Press
- Abiprod Pty Ltd
- Able Muse Press
- Ablex Publishing Corporation
- Abta Publications & Products
- Academic
- Academic Impressions
- Academic Press
- Academic Studies Press
- ACM
- ACM Books
- Acorn Books
- Acorn Classics
- Active Pause
- ADA Protosmith
- Adactin Group Pty Ltd
- Addison-Wesley Professional
- Adesh Silva
- Adopt & Embrace Pty Ltd
- Advantage Media Group
- Advantage Point Test Prep
- Advantage World Press
- Adventure Times Narratives
- Adventures Unlimited Press
- Affinitas LLC
- Afnil - ISBN France
- Afolabi Onadipe
- African American Images
- Aggadah Try It
- AI Organization
- Aiden Phillips
- Airtight Publishing
- Akers Psychology
- ALA Editions
- Alan Grid
- Alaric Hemingway
- Alberto Larson
- Aldous Mercer
- Aletheia Editions
- Alexia Scott
- Alfonso Floyd
- Ali Cehreli
- Allen & Unwin
- Allen Jervey
- Allworth
- Althea Press
- Amacom
- Amazon Digital Services LLC - Kdp
- Amazon Digital Services LLC - KDP Print US
- Amba Press
- Amber Books
- Ambrosius Publishing
- Amelia Hartman
- American Academic Press
- American Academic Publisher
- American Academy of Pediatrics
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Journal of Health Promotion
- American Library Association
- Amicus Ink
- Amicus Learning
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Andrews UK Limited
- Andrzej Wojtowicz
- Aneko Press
- Ankit Bhandawat
- Annabooks, LLC.
- Anson Street Press
- Anthea Peries
- ASCD
- ASTD
- Springer
- 8080 Books
- 17 Books Publishing
- 4 Dog Arts
- 3dtech
- 64 Ink
- 50minutes.com (It)
- 50minutes.com (Nl)
- 50minutes.com (Pl)
- 50minutes.com (Pt)
- 1st Book Library
- 12th Media Services
- 978-1-7753126-1-1
- 978-1-7773545-1-0
- 978-83-966847-2-1
- A1 Entities, Inc.
- A K PETERS
- A.E Colonna
- A.F. Slade Publishing
- A.R.E. Press (Association of Research & Enlig
- Aaip
- Aaron Brummet
- Aaron Crenshav
- Abbott Properties
- Abdelfattah Ragab
- Ability First Limited
- Abingdon Press
- Abiprod Pty Ltd
- Able Muse Press
- Ablex Publishing Corporation
- Abta Publications & Products
- Academic
- Academic Impressions
- Academic Press
- Academic Studies Press
- ACM
- ACM Books
- Acorn Books
- Acorn Classics
- Active Pause
- ADA Protosmith
- Adactin Group Pty Ltd
- Addison-Wesley
- Addison-Wesley Professional
- Adesh Silva
- Adopt & Embrace Pty Ltd
- Advantage Media Group
- Advantage Point Test Prep
- Advantage World Press
- Adventure Times Narratives
- Adventures Unlimited Press
- Affinitas LLC
- Afnil - ISBN France
- Afolabi Onadipe
- African American Images
- Aggadah Try It
- AI Organization
- Aiden Phillips
- Airtight Publishing
- Akers Psychology
- ALA Editions
- Alan Grid
- Alaric Hemingway
- Alberto Larson
- Aldous Mercer
- Aletheia Editions
- Alexia Scott
- Alfonso Floyd
- Ali Cehreli
- Allen & Unwin
- Allen Jervey
- Allworth
- Althea Press
- Amacom
- Amazon Digital Services LLC - Kdp
- Amazon Digital Services LLC - KDP Print US
- Amba Press
- Amber Books
- Ambrosius Publishing
- Amelia Hartman
- American Academic Press
- American Academic Publisher
- American Academy of Pediatrics
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Journal of Health Promotion
- American Library Association
- Amicus Ink
- Amicus Learning
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Andrews UK Limited
- Andrzej Wojtowicz
- Aneko Press
- Ankit Bhandawat
- Annabooks, LLC.
- Anson Street Press
- ASCD
- ASTD
- 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
- Education & Psychology
- Engineering
- English Literature
- Fisheries & Aquaculture
- Foreign Languages
- General Books
- Graphic Design & Animation
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Military and Police Studies
- Nutrition and Dietetics
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Sports and Physical Fitness
- Aaron R. Bradley
- Ahmet Bindal
- Alan Rothwell
- Albert Fleischmann
- Alberto Pettorossi
- Amy Laviers
- Andrea Lodi
- Andreas Podelski
- Andrei Voronkov
- Anke Jaros-Sturhahn
- Apollo M. Nkwake
- Ata Elahi
- Avelino J. Gonzalez
- Bartosz Wojciechowski
- Ben Stephenson
- Bernhard Möller
- Bertrand Meyer
- Bistra Dilkina
- Catuscia Palamidessi
- Christian Maurer
- Christian Schulte
- Christopher Kormanyos
- Daniel Magalhães Goulart
- Dave Webb
- David A. Wheeler
- David B. Resnik
- David Gries
- David Harel
- David R. Brooks
- Deshun Li
- Diogo R. Ferreira
- Ekaterina Komendantskaya
- Enno Ohlebusch
- F. L. Bauer
- Farzin Asadi
- Fernando González Rey
- Frank Fleerackers
- Gabriel Bianchi
- Gaël Brulé
- Gary S. Dunbar
- Giuseppe Lancia
- Göktürk Üçoluk
- Graeme Smith
- Guido Tack
- Günther Blaschek
- H. A. Eiselt
- Habib Izadkhah
- Hans Petter Langtangen
- Helen De Hoop
- Helene Kirchner
- Helmut A. Partsch
- Henry Wolkowicz
- Herbert Kuchen
- Hongseok Yang
- I. Heinrich
- Ian Chivers
- Iliano Cervesato
- Iulian Apostolescu
- J. Diaz
- James Noble
- Jan Vitek
- Jari Kaukua
- Jayantha Katupitiya
- Jeffrey A. Eisenach
- Jeremy Gibbons
- Johan Jeuring
- John Chambers
- John Cowell
- Jürg Gutknecht
- Karl Heinz John
- Kent D. Lee
- Kung-Kiu Lau
- M. J. Panik
- M. Jaeggli
- Manfred Broy
- Manuel Hermenegildo
- Marcello Balduccini
- Marco Block
- Marco T. Morazán
- Margarita Vázquez Campos
- Maribel Fernández
- Marilyn Fleer
- Marlon Xavier
- Matthes Elstermann
- Maurice Bruynooghe
- Maurizio Gabbrielli
- Michael Hanus
- Michael O'Neill
- Nikolaos Ploskas
- Olivier Danvy
- Patricia M. Hill
- Patrick Diehl
- Paul A. Gagniuc
- Paul Cockshott
- Peter J. Stuckey
- Peter Kall
- Pierre Deransart
- Rick Riolo
- Svein Linge
- Walter S. Brainerd
Products
Logic Program Synthesis from Incomplete Information
Pierre Flener
Paperback
Current price
₹11,017
Original price
₹16,949
Original price
₹16,949
Original price
₹16,949
(-35%)
₹11,017
Current price
₹11,017
| /
• Author(s): Pierre Flener • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedProgram synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, t...
View full details
Logic Program Synthesis from Incomplete Information
Pierre Flener
Hardcover
Current price
₹11,017
Original price
₹16,949
Original price
₹16,949
Original price
₹16,949
(-35%)
₹11,017
Current price
₹11,017
| /
• Author(s): Pierre Flener • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedProgram synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, t...
View full details
Logic-Based Program Synthesis and Transformation: 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers
Pierre Flener
Paperback
Current price
₹5,723
Original price
₹6,868
Original price
₹6,868
Original price
₹6,868
(-17%)
₹5,723
Current price
₹5,723
| /
• Author(s): Pierre Flener • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedThis book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Syn...
View full details
