no documents available
no references & citations available
export record
BibTeX
RIS
RDF N-Triples
RDF Turtle
RDF/XML
XML
dblp key:
conf/iwar/ZhouN92
ask others
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
PubPeer
share record
Twitter
Reddit
BibSonomy
LinkedIn
Facebook
persistent URL:
https://dblp.org/rec/conf/iwar/ZhouN92
Neng-Fa Zhou
,
Isao Nagasawa
:
Implementing Graph Algorithms in BeTa-Prolog.
IWAR
1992
:
23-32
no documents available
no references & citations available
export record
BibTeX
RIS
RDF N-Triples
RDF Turtle
RDF/XML
XML
dblp key:
conf/iwar/ZiliQYJ92
ask others
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
PubPeer
share record
Twitter
Reddit
BibSonomy
LinkedIn
Facebook
persistent URL:
https://dblp.org/rec/conf/iwar/ZiliQYJ92
Zili Chen
,
Qingwen Cheng
,
Yungcong Xu
,
Jinwen Zhang
:
Syntax Analysis of Fuzzy Logic System
FL
1
and Its Derivations
DFL
1
,
MFL
1
.
IWAR
1992
:
89-98
view
table of contents in dblp
no references & citations available
export record
BibTeX
RIS
RDF N-Triples
RDF Turtle
RDF/XML
XML
dblp key:
conf/iwar/1992
ask others
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
PubPeer
share record
Twitter
Reddit
BibSonomy
LinkedIn
Facebook
persistent URL:
https://dblp.org/rec/conf/iwar/1992
Zhongshi Shi
:
Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992.
IFIP Transactions
A-19,
North-Holland
1992
, ISBN
0-444-89876-X
[contents]