Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

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 de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274472
Price: 575.47 RON
Availability: InStock
Author: Leszek Pacholski
ISBN: 9783540600176

8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994. Selected Papers

Leszek Pacholski

Jerzy Tiuryn

Limba

engleză

Carte Carte broșată

Codul Libristo: 05274472

Editura Springer, Berlin, noiembrie 1994

This volume contains revised refereed versions of the best papers presented during the CSL '94 confe... Descrierea completă

Codul Libristo: 05274472

263 b

575.47 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Ar putea de asemenea, să te intereseze

The Science Of Thinking Rich: Discover The 7 Secrets And Insights To Thinking and Living Rich Desiree Charese Reid

Carte broșată

107.54 lei

Textbook of Melanoma John F. Thompson

Carte broșată

536.68 lei

Pass the Paddle Gerald Jerry E Schumm Jr

Carte broșată

140.23 lei

Native Tongue Suzette Haden Elgin

Carte broșată

82.59 lei

Emily Wilding Davison Lucy Fisher

Carte broșată

98.81 lei

In Camp with A Tin Soldier John Kendrick Bangs

Carte broșată

42.72 lei

Dolphin Mystery Rosslyn Thomas

Carte broșată

42.93 lei

Charter and General Ordinances of the City of Tacoma Washington in Force June 1, 1913, with Index Digest of Obsolete and Repealed Ordinances Since the Anonymous

Carte broșată

175.74 lei

A History of Bristol Parish, Va.: With Genealogies of Families Connected Therewith, and Historical Illustrations. Philip Slaughter

Carte broșată

117.01 lei

A Treatise on the Law of the Domestic Relations: Embracing Husband and Wife, Parent and Child, Guardian and Ward, Infancy, and Master and Servant. James Schouler

Carte broșată

191.73 lei

Ancient Signposts: Messages From Our Ancient Past MR Arthur D Faram

Carte broșată

72.50 lei

Chinese Art of Face Reading Joey Yap

Carte broșată

135.01 lei

On This Date May 5: What ELSE Happened on YOUR Day? Curtis Vanaudestrade

Carte broșată

45.14 lei

A Study on HCCI Engine Suresh Govindan

Carte broșată

180.32 lei

Marketing In The Trenches CHRIS CIUNCI

Copertă tare

208.89 lei

Radiohead Phil Rose

Copertă tare

295.80 lei

THE ARRANDEL MOTTO MARK HARDCASTLE

Copertă tare

191.73 lei

Oregon Question Albert Gallatin

Copertă tare

165.42 lei

Computing with Memory for Energy-Efficient Robust Systems Swarup Bhunia

Carte broșată

632.91 lei

Mining, Metallurgy and Minting in the Middle Ages. Vol. 1 Ian Blanchard

Copertă tare

1 052.12 lei

Dream Life and Real Life; a Little African Story Olive Schreiner

Carte broșată

70.96 lei

Nature and Us Vladimir Shekunov

Carte broșată

74.07 lei

The Skylark and Adonais - With Other Poems Percy Bysshe Shelley

Carte broșată

79.58 lei

Chinese Short Stories by Revolutionary Authors - Read Chinese Literature with Detailed Footnotes, Pinyin, Summaries, and Audio (Capturing Chinese) Kevin John Nadolny

Carte broșată

189.31 lei

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic.The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.