|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
199 | Nuel Belnap |
Truth Values, Neither-true-nor-false, and Supervaluations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(3), pp. 305-334, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
neither-true-nor-false, non-denoting terms, future tense, vagueness, paradoxes, truth values |
36 | Florencio G. Asenjo |
Opposition and Circularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oppositional Concepts in Computational Intelligence ![In: Oppositional Concepts in Computational Intelligence, pp. 45-57, 2008, Springer, 978-3-540-70826-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Michael Roe |
Non-repudiation and the Metaphysics of Presence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols, 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers, pp. 204-206, 2005, Springer, 978-3-540-77155-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Mark Harman, Chris Fox, Robert M. Hierons, David W. Binkley, Sebastian Danicic |
Program Simplification as a Means of Approximating Undecidable Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999 - Pittsburgh, PA, USA, pp. 208-217, 1999, IEEE Computer Society, 0-7695-0179-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Testing, Transformation, Slicing |
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|