G. Plotkin,
Gerard Huet,
Gerard , Rocquencourt) Huet,
G. Plotkin
e.a.
Logical Frameworks
Gebonden EN 1991 9780521413008Levertijd ongeveer 16 werkdagen
Gratis verzonden
Samenvatting
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.
Specificaties
ISBN13:9780521413008
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:416
Uitgever:Cambridge University Press
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan