%0 Book Section %1 miller91logic %A Miller, Dale %B Encyclopedia of Artificial Intelligence: Second Edition %D 1991 %E Shapiro, S. %I John Wiley & Sons %K cites.ref state.unclassified %T Logic, Higher-order %U http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/AIencyclopedia.pdf

@incollection{miller91logic, added-at = {2010-10-07T11:09:24.000+0200}, author = {Miller, Dale}, biburl = {https://www.bibsonomy.org/bibtex/26f8cb094fedc9d6a2be740a21c216670/msn}, booktitle = {Encyclopedia of Artificial Intelligence: Second Edition}, description = {1992 julkaisutieto yleisempi, mutta säilytetään yhteensopivuus http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=531550}, editor = {Shapiro, S.}, interhash = {cee5b1f07b317b6c86bf3358d122bdda}, intrahash = {6f8cb094fedc9d6a2be740a21c216670}, keywords = {cites.ref state.unclassified}, publisher = {John Wiley \& Sons}, timestamp = {2010-10-07T11:09:24.000+0200}, title = {Logic, Higher-order}, url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/AIencyclopedia.pdf}, year = 1991 }