iliano cervesato
The Deductive Spreadsheet
EbookSofort lieferbarThe book will appeal to researchers and practitioners in the various areas underlying this work. ...
Logic for Programming, Artificial Intelligence, and Reasoning
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 15th International Conference on Logic for ...
Advances in Computer Science - ASIAN 2007. Computer and Network Security
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 12th Asian Computing Science Conference, AS...
Logic for Programming, Artificial Intelligence, and Reasoning
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 15th International Conference on Logic for ...
Advances in Computer Science - ASIAN 2007. Computer and Network Security
TaschenbuchBezug 16-20This book constitutes the refereed proceedings of the 12th Asian Computing Science Conference, AS...
The Deductive Spreadsheet
BuchPrint on DemandThis book describes recent multidisciplinary research at the confluence of the fields of logic...
The Deductive Spreadsheet
TaschenbuchPrint on DemandThis book describes recent multidisciplinary research at the confluence of the fields of logic...
- 1