Automated Deduction - CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

Research output: Book/Report › Anthology

Abstract

Lecture Notes in Artificial Intelligence 814.

@book{864c1805925f43d59228ab22def327b3,

title = "Automated Deduction - CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings",

abstract = "Lecture Notes in Artificial Intelligence 814.",

author = "Alan Bundy",

year = "1994",

language = "English",

isbn = "3-540-58156-1",

publisher = "Springer-Verlag GmbH",

}

TY - BOOK

T1 - Automated Deduction - CADE-12

T2 - 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

AU - Bundy, Alan

PY - 1994

Y1 - 1994

N2 - Lecture Notes in Artificial Intelligence 814.

AB - Lecture Notes in Artificial Intelligence 814.

M3 - Anthology

SN - 3-540-58156-1

SN - 978-3-540-58156-7

BT - Automated Deduction - CADE-12

PB - Springer-Verlag GmbH

ER -