Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993, Selected Papers - Lecture Notes in Computer Science - Tobias Nipkow - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540580850 - 20 mei 1994
Indien omslag en titel niet overeenkomen, is de titel correct

Tobias Nipkow
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993, Selected Papers - Lecture Notes in Computer Science

Prijs
€ 52,49

Besteld in een afgelegen magazijn

Verwachte levering 12 - 20 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
of

This volume contains research papers devoted to the theoretical foundations, design and application of computer systems for theory development. Such systems help to design mathematical axiomatization, perform computer-aided logical reasoning and manage databases of mathematical facts.

395 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 20 mei 1994
ISBN13 9783540580850
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 395
Afmetingen 155 × 233 × 21 mm   ·   566 g
Taal en grammatica Duits  
Uitgever Barendregt, Henk
Uitgever Nipkow, Tobias

Meer door Tobias Nipkow

Alles tonen

Bekijk alles van Tobias Nipkow ( bijv. Paperback Book en Hardcover Book )