バックアップ
[
{
"title" : "Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science)",
"isbn" : "0521391156",
"date" : "2005-05-03T05:02:42.000Z",
"publisher" : "Cambridge University Press",
"authors" : "Terese",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)",
"isbn" : "0521622778",
"date" : "2005-05-03T05:02:35.000Z",
"publisher" : "Cambridge University Press",
"authors" : "Roberto M. Amadio, Pierre-Louis Curien",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)",
"isbn" : "0521356539",
"date" : "2005-05-03T05:02:26.000Z",
"publisher" : "Cambridge University Press",
"authors" : "J. Lambek, P. J. Scott",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Communicating and Mobile Systems: The Pi Calculus",
"isbn" : "0521658691",
"date" : "2005-05-03T05:02:38.000Z",
"publisher" : "Cambridge University Press",
"authors" : "Robin Milner",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Categories for Types (Cambridge Mathematical Textbooks)",
"isbn" : "0521457017",
"date" : "2005-05-03T05:02:28.000Z",
"publisher" : "Cambridge University Press",
"authors" : "Roy L. Crole",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Formal Concept Analysis: Mathematical Foundations",
"isbn" : "3540627715",
"date" : "2005-05-03T05:02:37.000Z",
"publisher" : "Springer",
"authors" : "Bernhard Ganter, Rudolf Wille",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title":null,"isbn" : "4000061909",
"date" : "2005-05-03T05:13:42.000Z",
"publisher":null,"authors" : "",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "プログラム意味論 (情報数学講座)",
"isbn" : "4320026578",
"date" : "2005-05-03T05:10:09.000Z",
"publisher" : "共立出版",
"authors" : "横内 寛文",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)",
"isbn" : "0521779111",
"date" : "2005-05-03T05:12:34.000Z",
"publisher" : "Cambridge University Press",
"authors" : "A. S. Troelstra, H. Schwichtenberg",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "The Pi-Calculus: A Theory of Mobile Processes",
"isbn" : "0521543274",
"date" : "2005-05-03T05:02:41.000Z",
"publisher" : "Cambridge University Press",
"authors" : "Davide Sangiorgi, David Walker",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Model Checking",
"isbn" : "0262032708",
"date" : "2005-05-03T05:02:46.000Z",
"publisher" : "The MIT Press",
"authors" : "Edmund M. Clarke Jr., Orna Grumberg, Doron Peled",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "情報科学における論理 (情報数学セミナー)",
"isbn" : "4535608148",
"date" : "2005-05-03T05:08:47.000Z",
"publisher" : "日本評論社",
"authors" : "小野 寛晰",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Modal Logic (Cambridge Tracts in Theoretical Computer Science)",
"isbn" : "0521527147",
"date" : "2005-05-03T05:02:24.000Z",
"publisher" : "Cambridge University Press",
"authors" : "Patrick Blackburn, Maarten de Rijke, Yde Venema",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "コンピュータサイエンス入門〈1〉アルゴリズムとプログラミング言語",
"isbn" : "4000050060",
"date" : "2005-05-03T05:14:15.000Z",
"publisher" : "岩波書店",
"authors" : "大堀 淳, ジャック ガリグ, 西村 進",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Types and Programming Languages",
"isbn" : "0262162091",
"date" : "2005-05-03T05:13:06.000Z",
"publisher" : "The MIT Press",
"authors" : "Benjamin C. Pierce",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Topology via Logic (Cambridge Tracts in Theoretical Computer Science)",
"isbn" : "0521576512",
"date" : "2005-05-03T05:02:33.000Z",
"publisher" : "Cambridge University Press",
"authors" : "Steven Vickers",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Introduction to Lattices and Order",
"isbn" : "0521784514",
"date" : "2005-05-03T05:02:31.000Z",
"publisher" : "Cambridge University Press",
"authors" : "B. A. Davey, H. A. Priestley",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "A Shorter Model Theory",
"isbn" : "0521587131",
"date" : "2005-05-03T05:02:45.000Z",
"publisher" : "Cambridge University Press",
"authors" : "Wilfrid Hodges",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Basic Category Theory for Computer Scientists (Foundations of Computing)",
"isbn" : "0262660717",
"date" : "2005-05-03T05:11:42.000Z",
"publisher" : "The MIT Press",
"authors" : "Benjamin C. Pierce",
"categories" : "",
"score" : "",
"comment" : ""
}
]
