Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Confe

Ø 0.0

0 Bewertungen

125,41 €

The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783540425540
Book Title:

Computer Science Logic
ISBN:

9783540425540

None:

International Standard : tracked-no signature (7 to 15 business days) 62,82 EUR - Lieferung zwischen 19. May 2025 und 28. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Afghanistan , Armenien , Aserbaidschan , Bangladesch , Bhutan , Georgien , Indien , Kasachstan , Kirgisistan , Mongolei , ... und weitere

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Confe

Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Confe

Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Confe

Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Confe

Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Confe

Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference

Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Confe

Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5,

Advances in Cryptology - CRYPTO 2001: 21st Annual International Cryptology Confe

Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference o

Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Confe

Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference o

Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conferen

Logic For Computer Science- Foundations of Automatic Theorem Proving J Gallier

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 -

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Confere

Evaluation of Novel Approaches to Software Engineering: 15th International Confe

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Confe

The Shape of the Fantastic: Selected Essays from the Seventh International Confe

Advances in Cryptology - CRYPTO 2002: 22nd Annual International Cryptology Confe

CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Confe

Ähnliche Artikel

Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Confe

Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Confe

Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Confe

Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Confe

Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference

Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Confe

Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5,

Advances in Cryptology - CRYPTO 2001: 21st Annual International Cryptology Confe

Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference o

Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Confe

Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference o

Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conferen

Logic For Computer Science- Foundations of Automatic Theorem Proving J Gallier

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 -

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Confere

Evaluation of Novel Approaches to Software Engineering: 15th International Confe

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Confe

The Shape of the Fantastic: Selected Essays from the Seventh International Confe

Advances in Cryptology - CRYPTO 2002: 22nd Annual International Cryptology Confe

CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-

Cookie Hinweis