Mathematical knowledge management 5th (9 resultados)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 61,39
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de AmericaGuthrieBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 59,93
Envío por EUR 6,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Paperback. Condición: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 77,78
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,85
Envío por EUR 13,49Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.
- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 71,71
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,00
Envío por EUR 17,92Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 68,35
Envío por EUR 17,92Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 92,35
Envío por EUR 9,41Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,40
Envío por EUR 35,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Talks.- The Omega Number: Irreducible Complexity in Pure Math.- Roles of Math Search in Mathematics.- Contributed Papers.- Structured Induction Proofs in Isabelle/Isar.- Interpretation of Locales in Isabelle: Theories and Proof Contexts.- A Dynamic Poincaré Principle.- A Proof-Theoretic Approach to Tactics.- A Formal Correspondence Between OMDoc with Alternative Proofs and the -Calculus.- Proof Transformation by CERES.- Synthesizing Proof Planning Methods and -Ants Agents from Mathematical Knowledge.- Verifying and Invalidating Textbook Proofs Using Scunak.- Capturing Abstract Matrices from Paper.- Towards a Parser for Mathematical Formula Recognition.- Stochastic Modelling of Scientific Terms Distribution in Publications.- Capturing the Content of Physics: Systems, Observables, and Experiments.- Communities of Practice in MKM: An Extensional Model.- From Notation to Semantics: There and Back Again.- Managing Informal Mathematical Knowledge: Techniques from Informal Logic.- From Untyped to Polymorphically Typed Objects in Mathematical Web Services.- Managing Automatically Formed Mathematical Theories.- Authoring LeActiveMath Calculus Content.- Information Retrieval and Rendering with MML Query.- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. …
