Results (1 - 30) of 146 1 2 3 4 5
Logic for Computer Science: Foundations of Automatic: Gallier, Jean

Gallier, Jean

Published by John Wiley and Sons (WIE) (1988)

ISBN 10: 0471615463 ISBN 13: 9780471615460

Used

Quantity Available: 1

From: Better World Books (Mishawaka, IN, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 4.55
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: John Wiley and Sons (WIE), 1988. Book Condition: Good. New edition. N/A. Shows some signs of wear, and may have some markings on the inside. Bookseller Inventory # GRP77980243

More Information About This Seller | Ask Bookseller a Question 1.

Geometric Methods and Applications: For Computer Science: Jean Gallier

Jean Gallier

Published by Springer (2000)

ISBN 10: 0387950443 ISBN 13: 9780387950440

Used First Edition

Quantity Available: 1

From: Better World Books (Mishawaka, IN, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 13.82
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: Springer, 2000. Book Condition: Very Good. 1st Edition. N/A. Great condition for a used book! Minimal wear. Bookseller Inventory # GRP63512988

More Information About This Seller | Ask Bookseller a Question 2.

Geometric Methods and Applications: For Computer Science: Gallier, Jean

Gallier, Jean

Published by Springer (2000)

ISBN 10: 0387950443 ISBN 13: 9780387950440

Used Hardcover

Quantity Available: 1

From: HPB-Dallas (Dallas, TX, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 15.32
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Springer, 2000. Hardcover. Book Condition: Good. Item may show signs of shelf wear. Pages may include limited notes and highlighting. Includes supplemental or companion materials if applicable. Access codes may or may not work. Connecting readers since 1972. Customer service is our top priority. Bookseller Inventory # mon0000438726

More Information About This Seller | Ask Bookseller a Question 3.

Geometric Methods and Applications: For Computer Science: Gallier, Jean

Gallier, Jean

Published by Springer (2000)

ISBN 10: 0387950443 ISBN 13: 9780387950440

Used Hardcover

Quantity Available: 1

From: Book Deals (Lewiston, NY, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 19.31
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: Springer, 2000. Book Condition: Used. This Book is in Good Condition. Clean Copy With Light Amount of Wear. 100% Guaranteed. Summary: As an introduction to fundamental geometric concepts & tools needed for solving problems of a geometric nature using a computer, this book attempts to fill the gap between standard geometry books, which are primarily theoretical & applied books on computer graphics, computer vision, or robotics, which sometimes do not cover the underlying geometric concepts in detail. Gallier offers an introduction to affine geometry, projective geometry, Euclidean geometry, basics of differential geometry & Lie groups & a glimpse of computational geometry (convex sets, Voronoi diagrams & Delaunay triangulations) & explores many of the practical applications of geometry. Some of these applications include computer vision (camera calibration) efficient communication, error-correcting codes, cryptography, motion interpolation & robot kinematics. This comprehensive text with extensive exercises covers most of the geometric background needed for conducting research in computer graphics, geometric modeling, computer vision & robotics & as such will be of interest to a wide audience including computer scientists, mathematicians & engineers. Bookseller Inventory # ABE_book_usedgood_0387950443

More Information About This Seller | Ask Bookseller a Question 4.

Logic for Computer Science: Jean Gallier, Jean

Jean Gallier, Jean Gallier

ISBN 10: 0486780821 ISBN 13: 9780486780825

New

Quantity Available: 5

From: GreatBookPrices (Columbia, MD, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 17.00
Convert Currency
Shipping: US$ 2.64
Within U.S.A.

Destination, Rates & Speeds

Item Description: Book Condition: New. Bookseller Inventory # 21566788-n

More Information About This Seller | Ask Bookseller a Question 5.

Curves and Surfaces in Geometric Modeling: Theory: Gallier, Jean

Gallier, Jean

Published by Morgan Kaufmann

ISBN 10: 1558605991 ISBN 13: 9781558605992

Used

Quantity Available: 1

From: More Than Words (Waltham, MA, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 17.65
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Morgan Kaufmann. Book Condition: Like New. Book appears unread. Book is square, clean, and umarked, with crisp pages All orders guaranteed and ship within 24 hours. Before placing your order for please contact us for confirmation on the book's binding. Check out our other listings to add to your order for discounted shipping. Bookseller Inventory # WAL-H-2a-000005

More Information About This Seller | Ask Bookseller a Question 6.

Logic for Computer Science Format: Trade Paper: Gallier, Jean H

Gallier, Jean H

Published by Dover Publishers

ISBN 10: 0486780821 ISBN 13: 9780486780825

New

Quantity Available: > 20

From: INDOO (Avenel, NJ, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 18.47
Convert Currency
Shipping: US$ 3.50
Within U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publishers. Book Condition: New. Brand New. Bookseller Inventory # 0486780821

More Information About This Seller | Ask Bookseller a Question 7.

Geometric Methods and Applications: For Computer Science: Jean Gallier

Jean Gallier

Published by Springer (2000)

ISBN 10: 0387950443 ISBN 13: 9780387950440

Used Hardcover

Quantity Available: 1

From: ExtremelyReliable (RICHMOND, TX, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 19.98
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Springer, 2000. Hardcover. Book Condition: Used: Very Good. This item is printed on demand. Bookseller Inventory # SONG0387950443

More Information About This Seller | Ask Bookseller a Question 8.

Curves and Surfaces in Geometric Modeling: Theory: Gallier, Jean H.

Gallier, Jean H.

Published by Morgan Kaufmann Pub (2000)

ISBN 10: 1558605991 ISBN 13: 9781558605992

Used Hardcover

Quantity Available: 1

From: Bookbyte (Salem, OR, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 24.45
Convert Currency
Shipping: US$ 3.00
Within U.S.A.

Destination, Rates & Speeds

Item Description: Morgan Kaufmann Pub, 2000. Hardcover. Book Condition: Fair. May include moderately worn cover, writing, markings or slight discoloration. SKU:9781558605992-4-0-3. Bookseller Inventory # 9781558605992-4-0-3

More Information About This Seller | Ask Bookseller a Question 9.

Logic for Computer Science: Foundations of Automatic: Gallier, Jean H.

Gallier, Jean H.

Published by Dover Publications (2015)

ISBN 10: 0486780821 ISBN 13: 9780486780825

Used Softcover

Quantity Available: 1

From: Book Deals (Lewiston, NY, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 27.53
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publications, 2015. Book Condition: Used. This Book is in Good Condition. Clean Copy With Light Amount of Wear. 100% Guaranteed. Summary: Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatment; useful for computer scientists. 2003 edition. Bookseller Inventory # ABE_book_usedgood_0486780821

More Information About This Seller | Ask Bookseller a Question 10.

Logic for Computer Science: Foundations of Automatic: Jean Gallier

Jean Gallier

Published by Dover Publications Inc., United States (2015)

ISBN 10: 0486780821 ISBN 13: 9780486780825

New Paperback

Quantity Available: 10

From: The Book Depository US (London, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 27.55
Convert Currency
Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publications Inc., United States, 2015. Paperback. Book Condition: New. 2nd Revised edition. 231 x 155 mm. Language: English Brand New Book. This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen s cut elimination theorem and applications, and Gentzen s sharpened Hauptsatz and Herbrand s theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information. Bookseller Inventory # AAS9780486780825

More Information About This Seller | Ask Bookseller a Question 11.

Geometric Methods and Applications For Computer Science: Jean H. Gallier

Jean H. Gallier

ISBN 10: 0387950443 ISBN 13: 9780387950440

Used

Quantity Available: 1

From: Castle Rock (Pittsford, NY, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 24.03
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Book Condition: Very Good. Book Condition: Very Good. Bookseller Inventory # 97803879504403.0

More Information About This Seller | Ask Bookseller a Question 12.

Logic for Computer Science: Foundations of Automatic: Jean Gallier

Jean Gallier

Published by Dover Publications Inc., United States (2015)

ISBN 10: 0486780821 ISBN 13: 9780486780825

New Paperback

Quantity Available: 10

From: The Book Depository (London, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 28.06
Convert Currency
Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publications Inc., United States, 2015. Paperback. Book Condition: New. 2nd Revised edition. 231 x 155 mm. Language: English Brand New Book. This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen s cut elimination theorem and applications, and Gentzen s sharpened Hauptsatz and Herbrand s theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information. Bookseller Inventory # AAS9780486780825

More Information About This Seller | Ask Bookseller a Question 13.

Logic for Computer Science: Foundations of Automatic: Jean Gallier

Jean Gallier

Published by Longman Higher Education (1986)

ISBN 10: 0060422254 ISBN 13: 9780060422257

Used Hardcover

Quantity Available: 1

From: Anybook Ltd. (Lincoln, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 19.64
Convert Currency
Shipping: US$ 9.43
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Item Description: Longman Higher Education, 1986. Book Condition: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In poor condition, suitable as a reading copy. No dust jacket. Bookseller Inventory # 4915865

More Information About This Seller | Ask Bookseller a Question 14.

Logic for Computer Science: Foundations of Automatic: Gallier, Jean H.

Gallier, Jean H.

Published by John Wiley & Sons (1988)

ISBN 10: 0471615463 ISBN 13: 9780471615460

Used Paperback

Quantity Available: 1

From: Hemingway Ventures Ltd. (Consett, CD, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 22.36
Convert Currency
Shipping: US$ 7.25
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Item Description: John Wiley & Sons, 1988. Paperback. Book Condition: Very Good. Bookseller Inventory # mon0001022865

More Information About This Seller | Ask Bookseller a Question 15.

Curves and Surfaces in Geometric Modeling: Theory: Gallier, Jean

Gallier, Jean

Published by Morgan Kaufmann (1999)

ISBN 10: 1558605991 ISBN 13: 9781558605992

Used Hardcover

Quantity Available: 1

From: Book Deals (Lewiston, NY, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 29.64
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: Morgan Kaufmann, 1999. Book Condition: Used. This Book is in Good Condition. Clean Copy With Light Amount of Wear. 100% Guaranteed. Bookseller Inventory # ABE_book_usedgood_1558605991

More Information About This Seller | Ask Bookseller a Question 16.

Curves and Surfaces in Geometric Modeling: Theory: Jean Gallier

Jean Gallier

Published by Morgan Kaufmann (1999)

ISBN 10: 1558605991 ISBN 13: 9781558605992

Used Hardcover

Quantity Available: 1

From: ExtremelyReliable (RICHMOND, TX, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 25.67
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Morgan Kaufmann, 1999. Hardcover. Book Condition: Used: Like New. Bookseller Inventory # SONG1558605991

More Information About This Seller | Ask Bookseller a Question 17.

Logic for Computer Science: Foundations of Automatic: Gallier, Jean

Gallier, Jean

Published by John Wiley and Sons (WIE) (1988)

ISBN 10: 0471615463 ISBN 13: 9780471615460

Used Softcover

Quantity Available: 1

From: Book Deals (Lewiston, NY, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 29.75
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: John Wiley and Sons (WIE), 1988. Book Condition: Used. This Book is in Good Condition. Clean Copy With Light Amount of Wear. 100% Guaranteed. Bookseller Inventory # ABE_book_usedgood_0471615463

More Information About This Seller | Ask Bookseller a Question 18.

Logic for Computer Science: Foundations of Automatic: Jean H. Gallier

Jean H. Gallier

Published by Longman Higher Education (1986)

ISBN 10: 0060422254 ISBN 13: 9780060422257

Used Hardcover

Quantity Available: 1

From: ExtremelyReliable (RICHMOND, TX, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 27.84
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Longman Higher Education, 1986. Hardcover. Book Condition: Used: Acceptable. Bookseller Inventory # SONG0060422254

More Information About This Seller | Ask Bookseller a Question 19.

Logic for Computer Science Foundations of Automatic: Jean H. Gallier

Jean H. Gallier

ISBN 10: 0060422254 ISBN 13: 9780060422257

Used

Quantity Available: 1

From: Castle Rock (Pittsford, NY, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 29.29
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Book Condition: Acceptable. Book Condition: Acceptable. Bookseller Inventory # 97800604222575.0

More Information About This Seller | Ask Bookseller a Question 20.

Curves and Surfaces in Geometric Modeling Theory: Jean H. Gallier

Jean H. Gallier

ISBN 10: 1558605991 ISBN 13: 9781558605992

Used

Quantity Available: 1

From: Castle Rock (Pittsford, NY, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 32.65
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Book Condition: Good. Book Condition: Good. Bookseller Inventory # 97815586059924.0

More Information About This Seller | Ask Bookseller a Question 21.

Geometric Methods and Applications: For Cumputer Science: Gallier, Jean H.

Gallier, Jean H.

Published by Springer, New York, NY (2000)

ISBN 10: 0387950443 ISBN 13: 9780387950440

Used Hardcover

Quantity Available: 1

From: Book Bear (West Brookfield, MA, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 35.00
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Springer, New York, NY, 2000. Cloth. Book Condition: Very Good. 565 pp. Tightly bound. Top corners lighty bumped. Text is free of markings. Rounding to cloth at heal of spine. Size: 8vo - over 7¾" - 9¾" tall. Bookseller Inventory # 009142

More Information About This Seller | Ask Bookseller a Question 22.

Logic for Computer Science: Foundations of Automatic: Jean Gallier

Jean Gallier

Published by Dover Publications Inc. 2015-06-26 (2015)

ISBN 10: 0486780821 ISBN 13: 9780486780825

New Paperback

Quantity Available: 3

From: Chiron Media (Wallingford, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 35.28
Convert Currency
Shipping: US$ 4.34
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publications Inc. 2015-06-26, 2015. Paperback. Book Condition: New. Bookseller Inventory # NU-GRD-05244449

More Information About This Seller | Ask Bookseller a Question 23.

Logic for Computer Science: Foundations of Automatic: Gallier, Jean H.

Gallier, Jean H.

Published by Dover Publications (2015)

ISBN 10: 0486780821 ISBN 13: 9780486780825

New Softcover

Quantity Available: 1

From: Book Deals (Lewiston, NY, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 39.81
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publications, 2015. Book Condition: New. Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatment; useful for computer scientists. 2003 edition. Bookseller Inventory # ABE_book_new_0486780821

More Information About This Seller | Ask Bookseller a Question 24.

Gallier, Jean H.

Published by Wiley & Sons 1987 (1987)

Used Softcover

Quantity Available: 1

From: Andere Welten GmbH (Hamburg, HH, Germany)

Bookseller Rating: 2-star rating

Add Book to Shopping Basket
Price: US$ 28.74
Convert Currency
Shipping: US$ 11.10
From Germany to U.S.A.

Destination, Rates & Speeds

Item Description: Wiley & Sons 1987, 1987. Softcover Sehr gut erhalten. Bookseller Inventory # 6106

More Information About This Seller | Ask Bookseller a Question 25.

Logic for Computer Science: Foundations of Automatic: Gallier, Jean

Gallier, Jean

Published by Longman Higher Education (1986)

ISBN 10: 0060422254 ISBN 13: 9780060422257

Used Hardcover

Quantity Available: 1

From: Book Deals (Lewiston, NY, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 40.43
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: Longman Higher Education, 1986. Book Condition: Used. This Book is in Good Condition. Clean Copy With Light Amount of Wear. 100% Guaranteed. Bookseller Inventory # ABE_book_usedgood_0060422254

More Information About This Seller | Ask Bookseller a Question 26.

Logic for Computer Science: Foundations of Automatic: Jean H. Gallier

Jean H. Gallier

Published by Longman Higher Education (1986)

ISBN 10: 0060422254 ISBN 13: 9780060422257

Used Hardcover

Quantity Available: 1

From: Bookbyte (Salem, OR, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 37.45
Convert Currency
Shipping: US$ 3.00
Within U.S.A.

Destination, Rates & Speeds

Item Description: Longman Higher Education, 1986. Hardcover. Book Condition: Good. Has minor wear and/or markings. SKU:9780060422257-3-0-3. Bookseller Inventory # 9780060422257-3-0-3

More Information About This Seller | Ask Bookseller a Question 27.

Logic for Computer Science: Foundations of Automatic: Jean H. Gallier

Jean H. Gallier

Published by Longman Higher Education (1986)

ISBN 10: 0060422254 ISBN 13: 9780060422257

Used Hardcover

Quantity Available: 1

From: Bookbyte (Salem, OR, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 37.45
Convert Currency
Shipping: US$ 3.00
Within U.S.A.

Destination, Rates & Speeds

Item Description: Longman Higher Education, 1986. Hardcover. Book Condition: Acceptable. All text is legible, may contain markings, cover wear, loose/torn pages or staining and much writing. SKU:9780060422257-5-0-3. Bookseller Inventory # 9780060422257-5-0-3

More Information About This Seller | Ask Bookseller a Question 28.

Discrete Mathematics.: Gallier, Jean:

Gallier, Jean:

Published by New York, Springer, 2011. (2011)

ISBN 10: 1441980466 ISBN 13: 9781441980465

Used Softcover

Quantity Available: 1

Add Book to Shopping Basket
Price: US$ 32.19
Convert Currency
Shipping: US$ 11.10
From Germany to U.S.A.

Destination, Rates & Speeds

Item Description: New York, Springer, 2011., 2011. Universitext. XIII, 465 p. Softcover. Stamped. Bookseller Inventory # 4790JB

More Information About This Seller | Ask Bookseller a Question 29.

Curves and Surfaces in Geometric Modeling Theory: Jean H. Gallier

Jean H. Gallier

ISBN 10: 1558605991 ISBN 13: 9781558605992

Used

Quantity Available: 1

From: Castle Rock (Pittsford, NY, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 39.61
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Book Condition: Like New. Book Condition: Like New. Bookseller Inventory # 97815586059922.0

More Information About This Seller | Ask Bookseller a Question 30.

Condition

Binding

Collectible Attributes

Free Shipping

Bookseller Location

  • All Locations

Bookseller Rating

Results (1 - 30) of 146 1 2 3 4 5