Deductive inference operations

Michael Freund; Daniel Lehmann

doi:10.1007/BFb0018444

Deductive inference operations

Michael Freund, Daniel Lehmann

The Rachel and Selim Benin School of Engineering and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 Scopus citations

Original language	English
Title of host publication	Logics in AI - European Workshop JELIA 1990, Proceedings
Editors	Jan van Eijck
Publisher	Springer Verlag
Pages	227-233
Number of pages	7
ISBN (Print)	9783540536864
DOIs	https://doi.org/10.1007/BFb0018444
State	Published - 1991
Event	European Workshop on Logics in Artificial Intelligence, JELIA 1990 - Amsterdam, Netherlands Duration: 10 Sep 1990 → 14 Sep 1990

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	478 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	European Workshop on Logics in Artificial Intelligence, JELIA 1990
Country/Territory	Netherlands
City	Amsterdam
Period	10/09/90 → 14/09/90

Access to Document

10.1007/BFb0018444

Cite this

@inproceedings{b4c615a3fc4b4f47a51c2821540302e2,

title = "Deductive inference operations",

author = "Michael Freund and Daniel Lehmann",

year = "1991",

doi = "10.1007/BFb0018444",

language = "אנגלית",

isbn = "9783540536864",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "227--233",

editor = "{van Eijck}, Jan",

booktitle = "Logics in AI - European Workshop JELIA 1990, Proceedings",

address = "גרמניה",

note = "European Workshop on Logics in Artificial Intelligence, JELIA 1990 ; Conference date: 10-09-1990 Through 14-09-1990",

}

Freund, M & Lehmann, D 1991, Deductive inference operations. in J van Eijck (ed.), Logics in AI - European Workshop JELIA 1990, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 478 LNAI, Springer Verlag, pp. 227-233, European Workshop on Logics in Artificial Intelligence, JELIA 1990, Amsterdam, Netherlands, 10/09/90. https://doi.org/10.1007/BFb0018444

Deductive inference operations. / Freund, Michael; Lehmann, Daniel.
Logics in AI - European Workshop JELIA 1990, Proceedings. ed. / Jan van Eijck. Springer Verlag, 1991. p. 227-233 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 478 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Deductive inference operations

AU - Freund, Michael

AU - Lehmann, Daniel

PY - 1991

Y1 - 1991

UR - http://www.scopus.com/inward/record.url?scp=1642420979&partnerID=8YFLogxK

U2 - 10.1007/BFb0018444

DO - 10.1007/BFb0018444

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:1642420979

SN - 9783540536864

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 227

EP - 233

BT - Logics in AI - European Workshop JELIA 1990, Proceedings

A2 - van Eijck, Jan

PB - Springer Verlag

T2 - European Workshop on Logics in Artificial Intelligence, JELIA 1990

Y2 - 10 September 1990 through 14 September 1990

ER -

Deductive inference operations

Publication series

Conference

Access to Document

Other files and links

Cite this