Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Proof Theory and Logic Programming

Sprache EnglischEnglisch
Buch Hardcover
Buch Proof Theory and Logic Programming Dale Miller
Libristo-Code: 48601342
Verlag Cambridge University Press, November 2025
Shows how computation can be understood as proof search across classical, intuitionistic, and linear...
? points 205 b
83.59 € inkl. MwSt.
Externes Lager Wir versenden in 9-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Educacion Para La Equidad de Genero Elida Lucila Campos Alba / Buch Broschur
common.buy 36.49 €
ciudad y los muertos Javier Kessler / Buch Broschur
common.buy 10.39 €
Prompt Engineering im Geschäftsprozessmanagement Keuthen / Buch Hardcover
common.buy 39.99 €
Promuovere l'accesso all'istruzione per i bambini rifugiati in Sudafrica Mabel Dzinouya Sithole / Buch Broschur
common.buy 30.79 €
Promociones de ventas al consumidor / Buch Broschur
common.buy 33.59 €
Propozycja redukcji kosztów w MTS-MTO Pedro Vilaça / Buch Broschur
common.buy 30.79 €
promozione del benessere nei bambini. Allenare la mente felice nei contesti educativi Duncan Gillard / Buch Broschur
common.buy 42.09 €

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

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Proof Theory and Logic Programming
Autor Dale Miller
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2025
Anzahl der Seiten 400
EAN 9781009561297
ISBN 1009561294
Libristo-Code 48601342
Verlag Cambridge University Press
Gewicht 612

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmiertechniken
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Top
Proofs and Refutations Imre Lakatos / Buch Broschur
common.buy 23.49 €
Dustin Pedroia: The Inspirational Story of Baseball Superstar Dustin Pedroia Bill Redban / Buch Broschur
common.buy 7.99 €
Forgotten Sister Nicola Cornick / Hörbuch MP3
common.buy 15.69 €
Top
The Half of It Madison Beer / Buch Hardcover
common.buy 20.29 €
Demnächst Neu
Unsettling Extinction Steven Hartman / Buch Broschur
common.buy 34.89 €
Proof of Work Miriam Beblo / Buch Broschur
common.buy 23.49 €
Prompt Execution S.W. Michaels / Buch Broschur
common.buy 20.99 €
Demnächst Neu
Proper Names and Reference Lenny Clapp / Buch Hardcover
common.buy 130.09 €
Promotional Pandemonium! Selling Stan Laurel & Oliver Hardy To Depression-Era America - Book Two Richard Greene / Buch Broschur
common.buy 123.99 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?