Yazar
Abe, Jair Minoro. author.
Format:
Electronic Resources
Alıntı:
Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning / Abe
Yazar
Artemov, Sergei. editor.
Format:
Electronic Resources
Alıntı:
Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL
View Other Search Results
Yazar
Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
Format:
Electronic Resources
Alıntı:
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil
Yazar
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
Format:
Electronic Resources
Alıntı:
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse
Yazar
Esparza, Javier. editor.
Format:
Electronic Resources
Alıntı:
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS
Yazar
Baltag, Alexandru. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Foundations.
Yazar
Wasilewska, Anita. author.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
Yazar
Posthoff, Christian. author.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market
Yazar
James, Phillip. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
Yazar
Baltag, Alexandru. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
Yazar
de Moura, Leonardo. editor.
Format:
Electronic Resources
Alıntı:
Automated deduction -- Including foundations -- Applications.-Implementations -- Practical
Yazar
Phillips, Iain. editor.
Format:
Electronic Resources
Alıntı:
papers are organized in the following topical sections: foundations; reversible circuit synthesis