Logique Informatique

108 books
Discrete Mathematics and Its ApplicationsKenneth H. Rosen
⏱ 12h 0m

Discrete Mathematics and Its Applications

Kenneth H. Rosen

1988720 pp.
Artificial intelligenceStuart J. Russell
⏱ 19h 4m

Artificial intelligence

Stuart J. Russell

19941144 pp.
Logic ProgrammingPhilippe Codognet
⏱ 6h 5m

Logic Programming

Philippe Codognet

2001365 pp.
Computational intelligenceMircea Gh Negoita
⏱ 3h 33m

Computational intelligence

Mircea Gh Negoita

2005213 pp.
Handbook of logic in artificial intelligence and logic programmingDov M. Gabbay
⏱ 9h 8m

Handbook of logic in artificial intelligence and logic programming

Dov M. Gabbay

1993548 pp.
Intelligence artificielle et informatique théoriqueJean-Marc Alliot
⏱ 8h 40m

Intelligence artificielle et informatique théorique

Jean-Marc Alliot

1994520 pp.
Fundamentals of digital logic with VHDL designStephen D. Brown
⏱ 14h 46m

Fundamentals of digital logic with VHDL design

Stephen D. Brown

2000886 pp.
Introduction to Logic Circuits & Logic Design with VerilogBrock J. LaMeres
⏱ 8h 4m

Introduction to Logic Circuits & Logic Design with Verilog

Brock J. LaMeres

2017484 pp.
Computer science logicWorkshop on Computer Science Logic (19th 2005 Oxford, England)
⏱ 9h 25m

Computer science logic

Workshop on Computer Science Logic (19th 2005 Oxford, England)

2005565 pp.
Computational Limitations for Small Depth Circuits (ACM Doctoral Dissertation Award)Johan Torkel Håstad
⏱ 1h 15m

Computational Limitations for Small Depth Circuits (ACM Doctoral Dissertation Award)

Johan Torkel Håstad

198775 pp.
Contemporary logic designRandy H. Katz
⏱ 10h 8m

Contemporary logic design

Randy H. Katz

1994608 pp.
Foundations of Probabilistic Logic ProgrammingFabrizio Riguzzi
⏱ 4h 10m

Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi

2018250 pp.
Elements of the theory of computationHarry R. Lewis
⏱ 6h 1m

Elements of the theory of computation

Harry R. Lewis

1981361 pp.
The philosophical computerPatrick Grim
⏱ 5h 21m

The philosophical computer

Patrick Grim

1998321 pp.
Concevoir son microprocesseurJean-Christophe Buisson
⏱ 4h 4m

Concevoir son microprocesseur

Jean-Christophe Buisson

2006244 pp.
Logics of ProgramsD. Kozen
⏱ 8h 9m

Logics of Programs

D. Kozen

1982489 pp.
ProceedingsSymposium on Computer Arithmetic (11th 1993 Windsor, Ont.)
⏱ 4h 44m

Proceedings

Symposium on Computer Arithmetic (11th 1993 Windsor, Ont.)

1993284 pp.
Éloge du flouArturo Sangalli
⏱ 3h 26m

Éloge du flou

Arturo Sangalli

2001206 pp.
Combining Experimentation And Theory A Hommage To Abe MamdaniPiero P. Bonissone
⏱ 7h 20m

Combining Experimentation And Theory A Hommage To Abe Mamdani

Piero P. Bonissone

2012440 pp.
Inconsistency robustnessCarl Hewitt
⏱ 8h 55m

Inconsistency robustness

Carl Hewitt

2015535 pp.
Page 1 of 6Next →