%0 Book %1 nipkow2002isabellehol %A Nipkow, Tobias %A Paulson, Lawrence C. %A Wenzel, Markus %C Berlin; New York %D 2002 %I Springer %K Isabelle %T Isabelle/HOL : a proof assistant for higher-order logic %U http://www.worldcat.org/search?qt=worldcat_org_all&q=9783540433767 %@ 3540433767 9783540433767

@book{nipkow2002isabellehol, added-at = {2016-05-26T16:39:52.000+0200}, address = {Berlin; New York}, author = {Nipkow, Tobias and Paulson, Lawrence C. and Wenzel, Markus}, biburl = {https://www.bibsonomy.org/bibtex/293b16b8c8ee01a3cfdeca85b57980c9b/schlitsch}, description = {Isabelle/HOL - A Proof Assistant for Higher-Order Logic | Tobias Nipkow | Springer}, interhash = {8daeb422681d849d8af4fe40aeaaa7cd}, intrahash = {93b16b8c8ee01a3cfdeca85b57980c9b}, isbn = {3540433767 9783540433767}, keywords = {Isabelle}, publisher = {Springer}, refid = {49320458}, timestamp = {2016-05-26T16:39:52.000+0200}, title = {Isabelle/HOL : a proof assistant for higher-order logic}, url = {http://www.worldcat.org/search?qt=worldcat_org_all&q=9783540433767}, year = 2002 }