Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Detection distances in desert dwelling, high duty cycle echolocators: A test of the foraging habitat hypothesisFinger, Nikita M ; Holderied, Marc ; Jacobs, David S Hewitt, JudiPloS one, 2022-05, Vol.17 (5), p.e0268138-e0268138 [Periódico revisado por pares]United States: Public Library of ScienceTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
A giant γ-ray flare from the magnetar SGR 1806-20Palmer, D. M ; Barthelmy, S ; Gehrels, N ; Kippen, R. M ; Cayton, T ; Kouveliotou, C ; Eichler, D ; Wijers, R. A. M. J ; Woods, P. M ; Granot, J ; Lyubarsky, Y. E ; Ramirez-Ruiz, E ; Barbier, L ; Chester, M ; Cummings, J ; Fenimore, E. E ; Finger, M. H ; Gaensler, B. M ; Hullinger, D ; Krimm, H ; Markwardt, C. B ; Nousek, J. A ; Parsons, A ; Patel, S ; Sakamoto, T ; Sato, G ; Suzuki, M ; Tueller, JNature, 2005-04, Vol.434 (7037), p.1107-1109 [Periódico revisado por pares]London: Nature PublishingTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Cayley Bipolar Fuzzy GraphsAlshehri, Noura O. ; Akram, Muhammad Ali, M. I. ; Cao, Y. ; Finger, M. ; Y Cao ; M I Ali ; M FingerTheScientificWorld, 2013-01, Vol.2013, p.156786-8 [Periódico revisado por pares]United States: Hindawi Publishing CorporationTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and ControlFinger, Marcelo ; Wasserman, RenataJournal of logic and computation, 2004-04, Vol.14 (2), p.179-204 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Towards automated first-order abduction: the cut-based approachFinger, M.Logic journal of the IGPL, 2012-04, Vol.20 (2), p.370-387 [Periódico revisado por pares]Texto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Analytic Methods for the Logic of ProofsFinger, MarceloJournal of logic and computation, 2010-02, Vol.20 (1), p.167-188 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Decomposition of Fuzzy Soft Sets with Finite Value SpacesFeng, Feng ; Fujita, Hamido ; Jun, Young Bae ; Khan, Madad Cao, Y. ; Finger, M. ; Cristea, I. ; Wang, X.-p. ; Croitoru, A. ; Mycka, J. ; Ban, A. I. ; Akram, M.TheScientificWorld, 2014-01, Vol.2014, p.902687-10 [Periódico revisado por pares]United States: Hindawi Publishing CorporationTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Completeness for cut-based abductionArruda, A. M. ; Finger, M.Logic journal of the IGPL, 2014-04, Vol.22 (2), p.286-296 [Periódico revisado por pares]Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Discovery of hard X-ray pulsations from the transient source GRO J1744 - 28Finger, Mark H ; Koh, Danny T ; Nelson, Robert W ; Prince, Thomas A ; Vaughan, Brian A ; Wilson, Robert BNature (London), 1996-05, Vol.381 (6580), p.291-293 [Periódico revisado por pares]London: Nature PublishingTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
The Unrestricted Combination of Temporal Logic SystemsFinger, Marcelo ; Weiss, M. AngelaLogic journal of the IGPL, 2002-03, Vol.10 (2), p.165-189 [Periódico revisado por pares]Oxford University PressTexto completo disponível |