Entry Schaub:1994:CQP from lncs1994.bib
Last update: Mon Mar 13 02:21:52 MDT 2017
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Schaub:1994:CQP,
author = "T. Schaub",
title = "Computing queries from prioritized default theories",
journal = j-LECT-NOTES-COMP-SCI,
volume = "869",
pages = "584--??",
year = "1994",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Mon May 13 11:52:14 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lncs1994.bib",
acknowledgement = ack-nhfb,
}
Related entries
- default,
777(0)22,
810(0)30,
810(0)74,
810(0)133,
810(0)160,
810(0)310,
838(0)247,
861(0)178,
861(0)248,
861(0)260
- prioritized,
838(0)232,
861(0)260,
861(0)393
- query,
774(0)300,
775(0)403,
778(0)54,
779(0)15,
779(0)95,
779(0)309,
779(0)323,
779(0)337,
784(0)355,
789(0)96,
807(0)213,
810(0)113,
810(0)250,
811(0)380,
811(0)394,
814(0)296,
814(0)326,
823(0)122,
823(0)149,
826(0)55,
827(0)283,
827(0)506,
834(0)505,
855(0)266,
856(0)47,
856(0)225,
856(0)270,
856(0)651,
856(0)759,
858(0)20,
861(0)190,
869(0)144,
869(0)154,
869(0)183,
869(0)193,
871(0)94,
872(0)272,
872(0)317,
874(0)181