Das Kristallzeichnen Auf Grundlage Der Stereographischen Projektion
H. Tertsch
₹5,456
Term Indexing
by Peter Graf
₹5,527
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540610403
- ISBN-10
- 3540610405
- Author
- Peter Graf
- Publisher
- Springer
- Condition
- New
Related books
Thinking with Diagrams
Alan F. Blackwell
₹4,608
Leibniz Und Die Moderne Naturwissenschaft
Jürgen Jost
₹3,508
Continuous Bivariate Distributions
N. Balakrishnan, Chin Diew Lai
₹4,621
Ereaders Ed eBooks Nelle Università
Nicola Cavalli
₹1,397
Der Praktische Dachdecker
Johann Meyer
₹5,122
Algèbre Commutative
N. Bourbaki
₹4,569
Nachrufe Auf Berliner Mathematiker Des 19. Jahrhunderts
H. Reichardt
₹3,141
Distributed Computing and Internet Technology
Raja Natarajan, Adegboyega Ojo
₹5,559
Software Engineering Research and Applications
Walter Dosch, Roger Y. Lee, Chisu Wu
₹5,514
Metric Lie Groups
Enrico Le Donne
₹3,749
Stereodynamics
Giuseppe Grioli
₹3,961