TY - SER TI - Journal of logic and computation SN - 0955-792X AV - QA76.63 JOU U1 - 004/.01/5113 20 PY - 1990///?- CY - [Oxford, England] PB - Oxford University Press KW - Logic programming KW - Periodicals KW - Logic, Symbolic and mathematical KW - Computational complexity KW - Programmation logique KW - P�eriodiques KW - Logique symbolique et math�ematique KW - Complexit�e de calcul (Informatique) KW - fast KW - Datenverarbeitung KW - gnd KW - Logik KW - Zeitschrift KW - Logica KW - gtt KW - Computers KW - Logic KW - lcgft N1 - Title from cover ER -