|
Abstract: lunar radiation and temperatures / / Edison Pettit and Seth B. Nicholson --
|
1960
|
1
|
|
Abstract Machine / / Aden L. Evens ;18.
|
2014
|
1
|
|
Abstract Machines for Argumentation / / Kurt Ranalter --
|
2012
|
1
|
|
Abstract Model Checking with SOFL Hierarchy / / Cong Tian, Shaoying Liu, Zhenhua Duan --
|
2013
|
1
|
|
Abstract Model Repair / / George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka and Panagiotis Katsaros --
|
2012
|
1
|
|
Abstract model theory as a framework for universal logic / / Marta Garcia-Matos and Jouko Vaananen --
|
2005
|
1
|