Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Proof Theory and Logic Programming

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Proof Theory and Logic Programming Dale Miller
Libristo-code: 48601342
Uitgeverij Cambridge University Press, november 2025
Shows how computation can be understood as proof search across classical, intuitionistic, and linear...
? points 196 b
80.70 €
In extern magazijn Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Educacion Para La Equidad de Genero Elida Lucila Campos Alba / Boek Gebonden (paperback)
common.buy 34.84 €
ciudad y los muertos Javier Kessler / Boek Gebonden (paperback)
common.buy 9.99 €
Prompt Engineering im Geschäftsprozessmanagement Keuthen / Boek Gebonden (harde band)
common.buy 37.77 €
Promuovere l'accesso all'istruzione per i bambini rifugiati in Sudafrica Mabel Dzinouya Sithole / Boek Gebonden (paperback)
common.buy 29.38 €
Promociones de ventas al consumidor / Boek Gebonden (paperback)
common.buy 32.01 €
Propozycja redukcji kosztów w MTS-MTO Pedro Vilaça / Boek Gebonden (paperback)
common.buy 29.38 €
promozione del benessere nei bambini. Allenare la mente felice nei contesti educativi Duncan Gillard / Boek Gebonden (paperback)
common.buy 40.80 €

Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Proof Theory and Logic Programming
Auteur Dale Miller
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2025
Aantal pagina's 400
EAN 9781009561297
ISBN 1009561294
Libristo-code 48601342
Uitgeverij Cambridge University Press
Gewicht 612

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeringstechnieken
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

TOP
Proofs and Refutations Imre Lakatos / Boek Gebonden (paperback)
common.buy 22.31 €
Dustin Pedroia: The Inspirational Story of Baseball Superstar Dustin Pedroia Bill Redban / Boek Gebonden (paperback)
common.buy 7.67 €
Forgotten Sister Nicola Cornick / Luisterboek MP3
common.buy 15.14 €
TOP
The Half of It Madison Beer / Boek Gebonden (harde band)
common.buy 16.96 €
Nieuw
Unsettling Extinction Steven Hartman / Boek Gebonden (paperback)
common.buy 33.42 €
Proof of Work Miriam Beblo / Boek Gebonden (paperback)
common.buy 22.41 €
Prompt Execution S.W. Michaels / Boek Gebonden (paperback)
common.buy 20.29 €
Wordt verwacht Nieuw
Proper Names and Reference Lenny Clapp / Boek Gebonden (harde band)
common.buy 126.05 €
Promotional Pandemonium! Selling Stan Laurel & Oliver Hardy To Depression-Era America - Book Two Richard Greene / Boek Gebonden (paperback)
common.buy 119.49 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?