I. Mackie – författare
Visar alla böcker från författaren I. Mackie. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 6 - Applied Logic Series
Proof Theory and Automated Deduction
Häftad, Engelska, 2001
542 kr
Skickas inom 10-15 vardagar
A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto mated deduction for the logic and its fragments is as important as the logic itself.
Inbunden, Engelska, 1995
2 481 kr
Tillfälligt slut
The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers published here range from the purely theoretical to practical applications.