%0 Book %1 books/sp/NipkowPW02 %A Nipkow, Tobias %A Paulson, Lawrence C. %A Wenzel, Markus %B Lecture Notes in Computer Science %D 2002 %I Springer %K %T Isabelle/HOL - A Proof Assistant for Higher-Order Logic %V 2283 %@ 3-540-43376-7

@book{books/sp/NipkowPW02, added-at = {2023-12-13T03:40:04.000+0100}, author = {Nipkow, Tobias and Paulson, Lawrence C. and Wenzel, Markus}, biburl = {https://www.bibsonomy.org/bibtex/26ca90f09d85d8d70b58e441d052da780/admin}, ee = {https://doi.org/10.1007/3-540-45949-9}, interhash = {8daeb422681d849d8af4fe40aeaaa7cd}, intrahash = {6ca90f09d85d8d70b58e441d052da780}, isbn = {3-540-43376-7}, keywords = {}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T03:40:04.000+0100}, title = {Isabelle/HOL - A Proof Assistant for Higher-Order Logic}, volume = 2283, year = 2002 }