Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Frontiers of Combining Systems

Name: Frontiers of Combining Systems
Brand: Springer, Berlin
SKU: 43844222
Price: 228.44 RON
Availability: InStock
Author: Uli Sattler
ISBN: 9783031433689

14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

Uli Sattler

Martin Suda

Limba

engleză

Carte Carte broșată

Codul Libristo: 43844222

Editura Springer, Berlin, noiembrie 2022

This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of C... Descrierea completă

Codul Libristo: 43844222

105 b

228.44 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Conversation avec Albert Cossery Mitrani

Carte broșată

91.60 lei

This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.This is an open access book.

Actriță & Poliglotă

EWA KASP pentru

Redă videoclipul

Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Frontiers of Combining Systems

Autor Uli Sattler, Martin Suda

Limba

engleză

Legare Carte - Carte broșată

Data publicării 2023

Număr pagini 292

EAN 9783031433689

Codul Libristo 43844222

Editura Springer, Berlin

Greutatea 412

Dimensiuni 155 x 235

Categorii

Computing & Information Technology > Computer science > Artificial intelligence

Dăruiește această carte chiar astăzi

Este foarte ușor

1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Harvest Festival Gerald Kithinji

Carte broșată

27.96 lei

DEAN THOM Y PB ADVENTURE BEGIN

Carte broșată

31.18 lei

The Epic of Gilgamesh: Two Texts: An Old Babylonian Version of the Gilgamesh Epic-A Fragment of the Gilgamesh Legend in Old-Babylonian Cuneif Jastrow Jr.

Copertă tare

116.97 lei