Pay in 4 interest-free payments of $13.37 Learn more
Ships within 48 hours · Estimated delivery Sep 1 - Sep 6
Zusammen erlauben sie erstaunliche poetische Abenteuer beim Lesen und führen uns in die unterschiedlichsten geistigen Welten und auf ungewohnte gedankliche Pfade
3Externe Ursachen22
kann man erkennen
alten Spielplänen und Theaterzetteln lassen sich die Veranstaltungen der 'Elf Scharfrichter' nachverfolgen
welche die Organisation der kollektiven Repräsentation und Abwertung erklären
Types for Proofs and Programs formatIsbn:Softcover - 9783540221647 Zusammen erlauben sie erstaunliche poetischeThese proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The workshop was attended by about 100 researchers. Out of 37 submitted papers, 25 were selected after a refereeing process. The ? nal choices were made by the editors.
US$ 112.50
US$ 20.00
US$ 78.00
US$ 72.00
US$ 16.00
US$ 19.95
US$ 78.00
US$ 367.50
US$ 38.00
US$ 78.00
US$ 140.00
US$ 79.00
US$ 199.00
US$ 69.00
US$ 84.00
US$ 13.00
