internetboekhandel.nl
buttons Home pagina Kassa pagina, Winkelwagentje Contact info Email ons
leeg Home pagina Kassa pagina, Winkelwagentje Contact info Email ons Home pagina Rijks
Boekenweek
Rijks Home pagina Home pagina Kassa pagina, Winkelwagentje Contact info Email ons Besteller 60
 
Nederlands Buitenlands   Alles  Titel  Auteur  ISBN        
Exacte wetenschappen
Exacte wetenschappen/natuurwetenschappen algemeen

University of Joensu) Penttonen Luis (Directeur de Recherche Directeur de Recherche I.R.I.T. Toulouse France) Farinas del Cerro Martti (Professor of Computer Science Professor of Computer Science

Intensional Logics for Programming

€ 34.95


Intensional logics provide a theoretical basis for establishing the foundations of programming. This volume discusses the use of intensional logics for the semantical analysis of logic programs and about programming in intensional logics. For example, modal logic, temporal logic and linear logic prove to be useful to understand logic programs.



Taal / Language : English

Extra informatie: 
Hardback
230 pagina's
Augustus 1992
Oxford University Press us


Langere levertijd