Bol 121,99 121,99 Bekijk 
Amazon.nl Bekijk prijs 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 undertaki...
De Logical Frameworks is een populaire optie voor Programmeertalen. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.
Logical Frameworks is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.
