Sign-In
CartPaulson, Lawrence C.
Filters
Sort by
$76.99
{"Id":20402990,"Title":"Isabelle: A Generic Theorem Prover","Authors":["Paulson, Lawrence C."],"ShortTitle":"Isabelle: A Generic Theorem Prover","Author":"Paulson, Lawrence C.","Ean":"9783540582441","Isbn":"3540582444","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1227849],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":868330,"SeriesId":16773,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":1,"PublicationDate":"1994-07-28T00:00:00","Join":null}
$142.10
{"Id":3124614,"Title":"ML for the Working Programmer","Authors":["Paulson, Lawrence C.","Paulson, Larry C."],"ShortTitle":"ML for the Working Programmer","Author":"Paulson, Lawrence C.","Ean":"9780521565431","Isbn":"052156543X","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1227849,12546466],"CategoryIds":[1125],"FormatId":2,"FamilyId":4812186,"SeriesId":null,"LanguageId":56,"PriceMin":142.1,"PriceMax":142.1,"Desirability":1,"PublicationDate":"1996-06-28T00:00:00","Join":null}
Interactive Theorem Proving: First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings
Kaufmann, Matt
Paulson, Lawrence C.
Paperback
$153.99
{"Id":20584020,"Title":"Interactive Theorem Proving: First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings","Authors":["Kaufmann, Matt","Paulson, Lawrence C."],"ShortTitle":"Interactive Theorem Proving: First International Conference, Itp 2010\u2026","Author":"Kaufmann, Matt","Ean":"9783642140518","Isbn":"3642140513","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1604460,12604027],"CategoryIds":[489,877,1125],"FormatId":2,"FamilyId":2354085,"SeriesId":null,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":2,"PublicationDate":"2010-06-30T00:00:00","Join":null}
First-Class Times: Writing about New College's Charter Classes
Paulson, Lawrence
Salisbury, Luke
Paperback
$26.19
{"Id":17587429,"Title":"First-Class Times: Writing about New College\u0027s Charter Classes","Authors":["Paulson, Lawrence","Salisbury, Luke"],"ShortTitle":"First-Class Times: Writing about New College\u0027s Charter Classes","Author":"Paulson, Lawrence","Ean":"9781626469990","Isbn":"1626469997","Publisher":"Booklocker.Com Inc","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4069536,1818247],"CategoryIds":[557],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":26.19,"PriceMax":26.19,"Desirability":3,"PublicationDate":"2014-09-15T00:00:00","Join":null}
$35.00
{"Id":17290640,"Title":"Archives of the Airwaves Vol. 7","Authors":["Paulson, Roger C."],"ShortTitle":"Archives of the Airwaves Vol. 7","Author":"Paulson, Roger C.","Ean":"9781593930769","Isbn":"1593930763","Publisher":"Bearmanor Media","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3971224],"CategoryIds":[582],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":35.0,"PriceMax":35.0,"Desirability":2,"PublicationDate":"2006-12-25T00:00:00","Join":null}
$15.59
{"Id":4698857,"Title":"Fire Lake","Authors":["Paulson, J. C."],"ShortTitle":"Fire Lake","Author":"Paulson, J. C.","Ean":"9780995975644","Isbn":"0995975647","Publisher":"Lightning Source Inc","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[354505],"CategoryIds":[559],"FormatId":2,"FamilyId":null,"SeriesId":546251,"LanguageId":56,"PriceMin":15.59,"PriceMax":15.59,"Desirability":1,"PublicationDate":"2019-07-23T00:00:00","Join":null}
$15.59
{"Id":4698866,"Title":"Griffin\u0027s Cure","Authors":["Paulson, J. C."],"ShortTitle":"Griffin\u0027s Cure","Author":"Paulson, J. C.","Ean":"9780995975668","Isbn":"0995975663","Publisher":"Lightning Source Inc","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[354505],"CategoryIds":[559],"FormatId":2,"FamilyId":null,"SeriesId":546251,"LanguageId":56,"PriceMin":15.59,"PriceMax":15.59,"Desirability":1,"PublicationDate":"2020-04-06T00:00:00","Join":null}
$26.19
{"Id":23000702,"Title":"Blood and Dust","Authors":["Paulson, J. C."],"ShortTitle":"Blood and Dust","Author":"Paulson, J. C.","Ean":"9781684338801","Isbn":"1684338808","Publisher":"Black Rose Writing","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[354505],"CategoryIds":[561,563,955],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":26.19,"PriceMax":26.19,"Desirability":1,"PublicationDate":"2022-02-17T00:00:00","Join":null}
$13.19
{"Id":23841343,"Title":"Magic Mack and The Mischief-Makers","Authors":["Paulson, J. C."],"ShortTitle":"Magic Mack and The Mischief-Makers","Author":"Paulson, J. C.","Ean":"9781777605025","Isbn":"1777605024","Publisher":"Lightning Source Inc","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[354505],"CategoryIds":[893],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":13.19,"PriceMax":13.19,"Desirability":1,"PublicationDate":"2022-05-10T00:00:00","Join":null}
$13.19
{"Id":18662544,"Title":"Two Hundred Bones: Adam and Grace Book 6","Authors":["Paulson, J. C."],"ShortTitle":"Two Hundred Bones: Adam and Grace Book 6","Author":"Paulson, J. C.","Ean":"9781777605018","Isbn":"1777605016","Publisher":"Unicorn Pub Group","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[354505],"CategoryIds":[559],"FormatId":2,"FamilyId":null,"SeriesId":546251,"LanguageId":56,"PriceMin":13.19,"PriceMax":13.19,"Desirability":1,"PublicationDate":"2021-03-30T00:00:00","Join":null}
$16.79
{"Id":4698842,"Title":"Broken Through: Adam and Grace Book Two","Authors":["Paulson, J. C."],"ShortTitle":"Broken Through: Adam and Grace Book Two","Author":"Paulson, J. C.","Ean":"9780995975620","Isbn":"0995975620","Publisher":"Lightning Source Inc","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[354505],"CategoryIds":[559],"FormatId":2,"FamilyId":null,"SeriesId":546251,"LanguageId":56,"PriceMin":16.79,"PriceMax":16.79,"Desirability":1,"PublicationDate":"2018-10-20T00:00:00","Join":null}
$48.75
{"Id":26753590,"Title":"Archives of the Airwaves Vol. 1 (hardback)","Authors":["Paulson, Roger C."],"ShortTitle":"Archives of the Airwaves Vol. 1 (hardback)","Author":"Paulson, Roger C.","Ean":"9798887713168","Isbn":"","Publisher":"BearManor Media","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3971224],"CategoryIds":[582,881],"FormatId":1,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":48.75,"PriceMax":48.75,"Desirability":1,"PublicationDate":"2005-10-01T00:00:00","Join":null}
$37.50
{"Id":17291139,"Title":"Archives of the Airwaves Vol. 1","Authors":["Paulson, Roger C."],"ShortTitle":"Archives of the Airwaves Vol. 1","Author":"Paulson, Roger C.","Ean":"9781593930370","Isbn":"1593930372","Publisher":"Bearmanor Media","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3971224],"CategoryIds":[582],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":37.5,"PriceMax":37.5,"Desirability":1,"PublicationDate":"2005-10-01T00:00:00","Join":null}
$37.50
{"Id":17291148,"Title":"Archives of the Airwaves Vol. 2","Authors":["Paulson, Roger C."],"ShortTitle":"Archives of the Airwaves Vol. 2","Author":"Paulson, Roger C.","Ean":"9781593930387","Isbn":"1593930380","Publisher":"Bearmanor Media","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3971224],"CategoryIds":[582],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":37.5,"PriceMax":37.5,"Desirability":1,"PublicationDate":"2005-10-01T00:00:00","Join":null}
$33.75
{"Id":17290434,"Title":"Archives of the Airwaves Vol. 3","Authors":["Paulson, Roger C."],"ShortTitle":"Archives of the Airwaves Vol. 3","Author":"Paulson, Roger C.","Ean":"9781593930479","Isbn":"159393047X","Publisher":"Bearmanor Media","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3971224],"CategoryIds":[582,587],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":33.75,"PriceMax":33.75,"Desirability":1,"PublicationDate":"2006-02-02T00:00:00","Join":null}
$25.00
{"Id":17290583,"Title":"Archives of the Airwaves Vol. 5","Authors":["Paulson, Roger C."],"ShortTitle":"Archives of the Airwaves Vol. 5","Author":"Paulson, Roger C.","Ean":"9781593930691","Isbn":"1593930690","Publisher":"Bearmanor Media","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3971224],"CategoryIds":[582],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":25.0,"PriceMax":25.0,"Desirability":1,"PublicationDate":"2006-08-31T00:00:00","Join":null}
$31.25
{"Id":17290630,"Title":"Archives of the Airwaves Vol. 6","Authors":["Paulson, Roger C."],"ShortTitle":"Archives of the Airwaves Vol. 6","Author":"Paulson, Roger C.","Ean":"9781593930752","Isbn":"1593930755","Publisher":"Bearmanor Media","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3971224],"CategoryIds":[582],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":31.25,"PriceMax":31.25,"Desirability":1,"PublicationDate":"2006-12-25T00:00:00","Join":null}
$25.00
{"Id":17290438,"Title":"Archives of the Airwaves Vol. 4","Authors":["Paulson, Roger C."],"ShortTitle":"Archives of the Airwaves Vol. 4","Author":"Paulson, Roger C.","Ean":"9781593930486","Isbn":"1593930488","Publisher":"Bearmanor Media","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3971224],"CategoryIds":[582],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":25.0,"PriceMax":25.0,"Desirability":1,"PublicationDate":"2006-03-03T00:00:00","Join":null}
$15.59
{"Id":4698826,"Title":"Adam\u0027s Witness","Authors":["Paulson, J. C."],"ShortTitle":"Adam\u0027s Witness","Author":"Paulson, J. C.","Ean":"9780995975606","Isbn":"0995975604","Publisher":"Lightning Source Inc","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[354505],"CategoryIds":[559,561],"FormatId":2,"FamilyId":null,"SeriesId":546251,"LanguageId":56,"PriceMin":15.59,"PriceMax":15.59,"Desirability":1,"PublicationDate":"2017-07-22T00:00:00","Join":null}
$29.40
{"Id":25454132,"Title":"Notizen eines Gewinners","Authors":["Paulson, Gerrit C."],"ShortTitle":"Notizen eines Gewinners","Author":"Paulson, Gerrit C.","Ean":"9783757830823","Isbn":"3757830822","Publisher":"Bod - Books on Demand","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[10447224],"CategoryIds":[886],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":68,"PriceMin":29.4,"PriceMax":29.4,"Desirability":0,"PublicationDate":"2023-07-21T00:00:00","Join":null}