Liknande böcker

Extensional Constructs in Intensional Type Theory
Bok av Martin Hofmann
Confluent String Rewriting
Bok av Matthias Jantzen
Computer science logic : 10th international workshop, CSL '96 : Annual C...
Bok av Dirk van Dalen
Instantiation theory : on the foundations of automated deduction
Bok av James G. Williams
Artificial Intelligence and Symbolic Mathematical Computation : Internat...
Bok av Jaques Calmet
Meta-Programming in Logic : proceedings
Bok av Alberto Pettorossi
Theory and Applications of Models of Computation : 7th Annual Conference...
Bok av Jan. Kratochvíl
Logic, Language, Information, and Computation
Bok av Leonid. Libkin

Neuronale Netze

Bok av Heinrich Braun