9781575863245 - mathematical reasoning with diagrams: from intuition to automation di jamnik, mateja (14 risultati)

- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 27,02
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New.

- Brossura
Da: INDOO, Avenel, NJ, U.S.A.INDOO
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 29,41
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Brand New.

Lingua: Inglese
Editore: Centre for the Study of Language and Information, US, 2001
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,17
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New. Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system-called Diamond-which allows users t…o prove arithmetical theorems using diagrams.

- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 29,04
EUR 11,67 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 1st edition. 200 pages. 8.75x6.00x0.50 inches. In Stock.

- Brossura
Da: Kloof Booksellers & Scientia Verlag, Amsterdam, Paesi BassiKloof Booksellers & Scientia Verlag
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 16,95
EUR 30,00 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Condizione: as new. Stanford, Calif.: CSLI, 2001. Paperback. 204 pp. English text. Condition : as new.Includes bibliographical references (p. 190-198) and index. - Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of diagramm…atic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system?called Diamond?which allows users to prove arithmetical theorems using diagrams. Condition : as new copy. ISBN 9781575863245. Keywords : .

- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 30,34
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Condizione: As New. Unread book in perfect condition.

- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 46,50
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: As New. Unread book in perfect condition.

Lingua: Inglese
Editore: Center for the Study of Language and Information, 2002
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 40,03
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 1 disponibili
Condizione: New. 2002. Illustrated. Paperback. . . . . .

- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 34,95
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Condizione: New.

Lingua: Inglese
Editore: Centre for the Study of Language & Information, 2001
- Brossura
Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 38,48
EUR 16,47 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days.

Lingua: Inglese
Editore: Center for the Study of Language and Information, 2001
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,47
EUR 9,18 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. 2002. Illustrated. Paperback. . . . . . Books ship from the US and Ireland.

- Brossura
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,95
EUR 6,08 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New. In shrink wrap. Looks like an interesting title.

Lingua: Inglese
Editore: Centre for the Study of Language and Information, US, 2001
- Brossura
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 34,96
EUR 75,88 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New. Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system-called Diamond-which allows users t…o prove arithmetical theorems using diagrams.

- Brossura
Da: SHIMEDIA, Brooklyn, NY, U.S.A.SHIMEDIA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 180,07
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. Satisfaction Guaranteed or your money back.