Ata uhi

Summary goes here

I tiakina i:
Ngā taipitopito rārangi puna kōrero
Hōputu: Pukapuka
Reo:Ingarihi
Ngā marau:
Automatic theorem proving
Computer logic
Théorèmes
Logique informatique
Informatique.
Computer science.
Software engineering.
Logic design.
Electronic data processing.
Artificial intelligence.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematics of Computing.
Numeric Computing.
computerwetenschappen
computer sciences
numerieke methoden
numerical methods
computertechnieken
computer techniques
computerwiskunde
computational mathematics
kunstmatige intelligentie
wiskunde
mathematics
logica
logic
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
Whakaahuatanga
Whakarāpopototanga:Summary goes here
Whakaahutanga tūemi:General Notes
Whakaahuatanga ōkiko:1 online resource (xiv, 568 pages) :illustrations
ISBN:9783642313653
3642313655
3642313647
9783642313646