Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Logic for Computer Science

Foundations of Automatic Theorem Proving, Second Edition

Lingua IngleseInglese
Libro In brossura
Libro Logic for Computer Science Jean Gallier
Codice Libristo: 02569839
Casa editrice Dover Publications Inc., giugno 2015
This advanced text for undergraduate and graduate students introduces mathematical logic with an emp... Descrizione completa
? points 65 b
26.59 €
50% di possibilità Cercheremo nel mondo Quando riceverò il libro?

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

LA DICTEE EN MUSIQUE VOL.4 - CORRIGE CHEPELOV P/MENUT B Libro Libro
common.buy 12.09 €
Erklarung der Tier-Namen aus allen Sprachgebieten August von Edlinger / Libro In brossura
common.buy 21.49 €
Fuhrung und Selbstorganisation Heidi Hentschke / Libro In brossura
common.buy 35.49 €
Vermoegensubertragungen nach dem Unternehmenssteuerfortentwicklungsgesetz Frank Schulze Topphoff / Libro In brossura
common.buy 44.89 €
Telefonspaning fallde amfetamin Diverse / Libro elettronico Adobe ePub DRM
common.buy 4.19 €
I migliori
Jak mówić, żeby maluchy nas słuchały. Poradnik przetrwania dla rodziców dzieci w wieku 2-7 lat wyd. 2 Joanna Faber / Libro In brossura
common.buy 8.89 €
Hanako-kun. I 7 misteri dell'Accademia Kamome Aida Iro / Libro In brossura
common.buy 7.89 €
Procesadores de textos y presentaciones de información básicos. UF0510 (MF0974_1) Certificado de Pro Obra colectiva / Libro In brossura
common.buy 38.89 €
Benny Blu - Müll Christiane Neumann / Libro Foglio
common.buy 4.19 €
Highlights Schweiz Gotlind Blechschmidt / Libro Rigido
common.buy 27.19 €
Le lieutenant Déodat Claude Le Borgne / Libro In brossura
common.buy 24.89 €
Smrt v záři neonů Libor Machala / Libro In brossura
common.buy 6.09 €
Normański rycerz 950-1204 Gravett Christopher / Libro In brossura
common.buy 9.39 €
Meine Bibel zur Erstkommunion Martin Polster / Libro Rigido
common.buy 13.39 €

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and foundations of automatic theorem proving. 2003 edition.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Logic for Computer Science
Autore Jean Gallier
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2015
Numero di pagine 544
EAN 9780486780825
ISBN 0486780821
Codice Libristo 02569839
Casa editrice Dover Publications Inc.
Peso 758
Dimensioni 158 x 237 x 35

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Introduction to Lattices and Order B. A. Davey / Libro In brossura
common.buy 68.39 €
Powerful Patty McCord / Libro In brossura
common.buy 7.59 €
ANNUAL REPORT, VOLUME 37 NEW JERSEY. BUREAU O / Libro Rigido
common.buy 34.79 €
Maginot Line Gun Turrets Clayton Donnell / Libro In brossura
common.buy 15.59 €
Pinup Alternative Magazine: Issue 1 Jason Kamimura / Libro In brossura
common.buy 16.39 €
Little Grey Men B.B / Libro In brossura
common.buy 10.29 €
Digital Marketing Annmarie Hanlon / Libro In brossura
common.buy 46.69 €
I migliori
Court of Thorns and Roses Collector's Edition Sarah Janet Maas / Libro Rigido
common.buy 29.29 €
Artful Maths Teacher Book Clarissa Grandi / Libro Rigido
common.buy 17.89 €
You Are Positively Awesome STACIE SWIFT / Libro Rigido
common.buy 14.69 €
Iran-Contra Malcolm Byrne / Libro In brossura
common.buy 45.89 €
I migliori
Liberated Mind STEVEN C. PHD HAYES / Libro In brossura
common.buy 16.59 €
I migliori Economico
Life is Strange 1-3 Boxed Set Emma Vieceli / Libro In brossura
common.buy 24.19 €
You Never Forget Your First Alexis Coe / Libro In brossura
common.buy 14.99 €
How to Teach Kids Anything Peter Hollins / Libro In brossura
common.buy 17.29 €
I migliori
Balenciaga – Kublin Ana Balda / Libro Rigido
common.buy 55.29 €
The Obstacle Is the Way 10th Anniversary Edition Holiday / Libro In brossura
common.buy 24.29 €
I migliori
The Angel Next Door Spoils Me Rotten, Vol. 7 (Light Novel) Nicole Wilder / Libro In brossura
common.buy 12.69 €
Control and Tracking Techniques for Switched Reluctance Machines Wesley Pacheco Calixto / Libro Rigido
common.buy 146.99 €
Fantasy Houses Carla Kamphuis / Libro In brossura
common.buy 16.59 €
Nuovi
Advances in Oncology, 2026 Leonidas C. Platanias / Libro Rigido
common.buy 182.99 €
Three Dark Crowns Kendare Blake / Libro In brossura
common.buy 9.19 €
I migliori
Wonder R. J. Palacio / Libro In brossura
common.buy 8.39 €
Lattices and Ordered Algebraic Structures T.S. Blyth / Libro In brossura
common.buy 68.39 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?