Mathematical Knowledge Management
Editat de Andrea Asperti, Bruno Buchberger, James Harold Davenporten Limba Engleză Paperback – 5 feb 2003
Preț: 319.10 lei
Preț vechi: 398.88 lei
-20%
Puncte Express: 479
Carte tipărită la comandă
Livrare economică 11-25 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540005681
ISBN-10: 3540005684
Pagini: 240
Ilustrații: X, 230 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.37 kg
Ediția:2003
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540005684
Pagini: 240
Ilustrații: X, 230 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.37 kg
Ediția:2003
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Gröbner Bases and ApplicationsBruno Buchberger-14%Preț: 712.70 lei828.71 lei -
Statistical Methods for Recommender SystemsDeepak K. Agarwal-20%Preț: 369.19 lei461.48 lei -
Internet of Things. IoT InfrastructuresRaffaele Giaffreda-20%Preț: 327.54 lei409.42 lei -
Enhanced Building Information ModelsUmit Isikdag-20%Preț: 309.76 lei387.19 lei -
-20%Preț: 332.60 lei415.75 lei -
Introducing the Oscillations Based ParadigmDarius Plikynas-20%Preț: 632.64 lei790.81 lei -
Critical Systems: Formal Methods and Automated VerificationMaurice H. Ter Beek-20%Preț: 320.32 lei400.41 lei -
-20%Preț: 340.00 lei425.01 lei -
Communication Technologies for VehiclesAlain Pirovano-20%Preț: 314.81 lei393.51 lei -
Mathematik für Informatiker I: Die Methode der MathematikBruno BuchbergerPreț: 410.11 lei -
-20%Preț: 319.28 lei399.10 lei -
Artificial Intelligence and Symbolic ComputationBruno Buchberger-20%Preț: 322.16 lei402.70 lei -
Computer Aided Systems Theory - EUROCAST 2001Roberto Moreno-Díaz-20%Preț: 643.76 lei804.69 lei -
Building Innovation Pipelines through Computer-Aided InnovationDenis Cavallucci-20%Preț: 273.62 lei342.01 lei -
Formal Methods for Industrial Critical SystemsMichael Dierkes-20%Preț: 290.41 lei363.01 lei -
Evaluating AAL Systems Through Competitive BenchmarkingJuan A. Botia-20%Preț: 320.41 lei400.51 lei -
Dokumenten-ManagementJürgen Gulbins-20%Preț: 439.46 lei549.33 lei -
-20%Preț: 323.41 lei404.26 lei -
-20%Preț: 327.36 lei409.20 lei -
-20%Preț: 324.03 lei405.04 lei -
-20%Preț: 330.05 lei412.56 lei -
Computer-Based Problem Solving ProcessTeodor Rus-20%Preț: 749.32 lei936.64 lei
Public țintă
ResearchCuprins
Regular Contributions.- Digitisation, Representation, and Formalisation Digital Libraries of Mathematics.- MKM from Book to Computer: A Case Study.- From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls.- Managing Digital Mathematical Discourse.- NAG Library Documentation.- On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions.- Problems and Solutions for Markup for Mathematical Examples and Exercises.- An Annotated Corpus and a Grammar Model of Theorem Description.- A Query Language for a Metadata Framework about Mathematical Resources.- Information Retrieval in MML.- An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG—Environment.- Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge.- On the Integrity of a Repository of Formalized Mathematics.- A Theoretical Analysis of Hierarchical Proofs.- Comparing Mathematical Provers.- Translating Mizar for First Order Theorem Provers.- Invited Talk.- The Mathematical Semantic Web.