Jaunas gr�matas

Handbook on Neurosymbolic AI and Knowledge Graphs

Tue, 29 Apr 2025 00:00:00 GMT

Pascal Hitzler, Abhilekha Dalal, Mohammad Saeid Mahdavinejad
ISBN: 9781643685786
Izdevniec�ba: IOS Press,US
Form�ts: M�kstie v�ki, Izdo�anas datums: 29-Apr-2025
Cena: 243,28 �

Compendium of Neurosymbolic Artificial Intelligence

Tue, 29 Apr 2025 00:00:00 GMT

Md Kamruzzaman Sarker, Aaron Eberhart
ISBN: 9781643684062
Izdevniec�ba: IOS Press,US
Form�ts: M�kstie v�ki, Izdo�anas datums: 29-Apr-2025
Cena: 226,38 �

Automation of Logic

Fri, 01 Jan 2021 00:00:00 GMT

Christoph Weidenbach
ISBN: 9781439875353
Izdevniec�ba: Chapman & Hall/CRC
Form�ts: Hardback, Izdo�anas datums: 01-Jan-2021
Cena: 93,72 �

Symbolic Mathematics for Chemists: A Guide for Maxima Users

Fri, 26 Oct 2018 00:00:00 GMT

Fred Senese
ISBN: 9781118798690
Izdevniec�ba: John Wiley & Sons Inc
Form�ts: M�kstie v�ki, Izdo�anas datums: 26-Oct-2018
Cena: 101,46 �

Commonsense Reasoning: An Event Calculus Based Approach 2nd edition

Thu, 23 Oct 2014 00:00:00 GMT

Erik T. Mueller
ISBN: 9780128014165
Izdevniec�ba: Morgan Kaufmann Publishers In
Form�ts: M�kstie v�ki, Izdo�anas datums: 23-Oct-2014
Cena: 98,92 �

Mathematical Structure for Emergent Computation Softcover reprint of the original 1st ed. 1999

Wed, 09 Jan 2013 00:00:00 GMT

Victor Korotkikh
ISBN: 9781461374244
Izdevniec�ba: Springer-Verlag New York Inc.
Form�ts: M�kstie v�ki, Izdo�anas datums: 09-Jan-2013
Cena: 91,53 �

Piton: A Mechanically Verified Assembly-Level Language Softcover reprint of the original 1st ed. 1996

Wed, 03 Oct 2012 00:00:00 GMT

J Strother Moore
ISBN: 9789401737913
Izdevniec�ba: Springer
Form�ts: M�kstie v�ki, Izdo�anas datums: 03-Oct-2012
Cena: 46,91 �

Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers 2011 ed.

Tue, 22 Nov 2011 00:00:00 GMT

Pascal Schreck, Julien Narboux, J�rgen Richter-Gebert
ISBN: 9783642250699
Izdevniec�ba: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Form�ts: M�kstie v�ki, Izdo�anas datums: 22-Nov-2011
Cena: 46,91 �

Foundations of Image Understanding Softcover reprint of the original 1st ed. 2001

Fri, 28 Oct 2011 00:00:00 GMT

Larry S. Davis
ISBN: 9781461355991
Izdevniec�ba: Springer-Verlag New York Inc.
Form�ts: M�kstie v�ki, Izdo�anas datums: 28-Oct-2011
Cena: 167,39 �

Mathematical Principles of Fuzzy Logic Softcover reprint of the original 1st ed. 1999

Sat, 08 Oct 2011 00:00:00 GMT

Vil�m Nov�k, Irina Perfilieva, J. Mockor
ISBN: 9781461373773
Izdevniec�ba: Springer-Verlag New York Inc.
Form�ts: M�kstie v�ki, Izdo�anas datums: 08-Oct-2011
Cena: 207,56 �

Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers

Mon, 16 May 2011 00:00:00 GMT

Thomas Sturm, Christoph Zengler
ISBN: 9783642210457
Izdevniec�ba: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Form�ts: M�kstie v�ki, Izdo�anas datums: 16-May-2011
Cena: 46,91 �

Introduction to Mathematical Logic and Type Theory: To Truth Through Proof Second Edition 2002

Thu, 09 Dec 2010 00:00:00 GMT

Peter B. Andrews
ISBN: 9789048160792
Izdevniec�ba: Springer
Form�ts: M�kstie v�ki, Izdo�anas datums: 09-Dec-2010
Cena: 82,61 �

Advances in Temporal Logic 1st ed. Softcover of orig. ed. 2000

Wed, 08 Dec 2010 00:00:00 GMT

Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough
ISBN: 9789048153893
Izdevniec�ba: Springer
Form�ts: M�kstie v�ki, Izdo�anas datums: 08-Dec-2010
Cena: 136,16 �

Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings

Sun, 18 Jul 2010 00:00:00 GMT

James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban
ISBN: 9783642226724
Izdevniec�ba: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Form�ts: M�kstie v�ki, Izdo�anas datums: 18-Jul-2010
Cena: 46,91 �

Abduction and Induction: Essays on their Relation and Integration Softcover reprint of the original 1st ed. 2000

Tue, 15 Dec 2009 00:00:00 GMT

P.A. Flach, Antonis Hadjiantonis
ISBN: 9789048154333
Izdevniec�ba: Springer
Form�ts: M�kstie v�ki, Izdo�anas datums: 15-Dec-2009
Cena: 136,16 �