Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Intelligent Computer Mathematics

Intelligent Computer Mathematics

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031669972
Condition
New
Product Description

This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montral, Qubec, Canada, during August 59, 2024. The 21 full papers presented were carefully reviewed and selected from 28 submissions. These papers have been categorized into the following sections: AI and LLM; Proof Assistants; Logical Frameworks and Transformations; Knowledge Representation and Certication; Proof Search and Formalization & System Descriptions.

Available Colors
Available Sizes
1 Offer Price Range: $74.99 - $74.99
BEST PRICE

Single Product Purchase

$74.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$74.99 $74.99

$74.99
See Site In stock Visit Store

Similar Products

Analyzing Compositional Data with R

$49.99

Advances in Molecular Genetics of Plant-Microbe Interactions, Vol. 2

$219.99

HCI International 2019 Late Breaking Posters

$54.99

Women in Renewable Energy

$139.99

Stressbewltigung fr Kinder und Jugendliche

$14.99

Embedded Systems and Artificial Intelligence

$219.99

Exscalate4CoV

$54.99

Customs Unions in the WTO

$169.99

Applied Simulation and Optimization

$54.99

Catalan's Conjecture

$64.99

Advances in Multicriteria Analysis

$109.99

Key Terms in Comics Studies

$32.99

25 Jahre Kaiser Wilhelm = Gesellschaft zur Frderung der Wissenschaften

$59.99

Phase Transitions in Surface Films

$39.99

Ergebnisse der Inneren Medizin und Kinderheilkunde

$59.99

Artificial Intelligence, Internet of Things, and Society 5.0

$169.00

Electronic Contracting im elektronischen Handel

$69.99

The Crusades and Nature

$149.99

Urban Ecology

$39.99

Drugs, Identity and Stigma

$139.99

Modeling and Stochastic Learning for Forecasting in High Dimensions

$169.99

Ride On

$11.24

The Ascent of Mary Somerville in 19th Century Society

$69.99

Basic Concepts in Computational Physics

$59.99

An Economic Perspective on the Southwest: Defining the Decade

$109.99

Green Crime in Mexico

$129.00

Werte und Metaphern in der Unternehmenskommunikation

$29.99

Fehler im Griff

$37.99

Conrad and Imperialism

$54.99

ffentliches Baurecht praxisnah

$34.99

Biophysical Applications of Satellite Remote Sensing

$109.99

Political Economy

$84.99

Exploring Religion and Diversity in Canada

$119.99

Innovations in Additive Manufacturing

$149.00

Stability of Time-Delay Systems

$89.00

Subspace Methods for Pattern Recognition in Intelligent Environment

$109.99

The Emergence of Whales

$279.99

Galaxy Formation

$109.99

Strmungs- und Kolbenmaschinen im Anlagenbau

$37.99

Graph Theory Applications to Deregulated Power Systems

$39.99