Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/icai/Horner10
@inproceedings{DBLP:conf/icai/Horner10, author = {Jack Horner}, editor = {Hamid R. Arabnia and David de la Fuente and Elena B. Kozerenko and Jos{\'{e}} Angel Olivas and Rui Chang and Peter M. LaMonica and Raymond A. Liuzzi and Ashu M. G. Solo}, title = {The Provenance of the Orthomodularity Axiom in Boolean and Quantum Logic: An Automated Deduction}, booktitle = {Proceedings of the 2010 International Conference on Artificial Intelligence, {ICAI} 2010, July 12-15, 2010, Las Vegas Nevada, USA, 2 Volumes}, pages = {582--587}, publisher = {{CSREA} Press}, year = {2010}, timestamp = {Tue, 07 Dec 2010 13:40:47 +0100}, biburl = {https://dblp.org/rec/conf/icai/Horner10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.