المؤلفون: Kays R., Cove M. V., Diaz J., Todd K., Bresnan C., Snider M., Lee T. E., Jasper J. G., Douglas B., Crupi A. P., Weiss K. C. B., Rowe H., Sprague T., Schipper J., Lepczyk C. A., Fantle-Lepczyk J. E., Davenport J., Zimova M., Farris Z., Williamson J., Fisher-Reid M. C., Rezendes D., King S. M., Chrysafis P., Jensen A. J., Jachowski D. S., King K. C., Herrera D. J., Moore S., van der Merwe M., Lombardi J. V., Sergeyev M., Tewes M. E., Horan R. V., Rentz M. S., Driver A., Brandt L. R. S. E., Nagy C., Alexander P., Maher S. P., Darracq A. K., Barr E. G., Hess G., Webb S. L., Proctor M. D., Vanek J. P., Lafferty D. J. R., Hubbard T., Jimenez J. E., McCain C., Favreau J., Fogarty J., Hill J., Hammerich S., Gray M., Rega-Brodsky C. C., Durbin C., Flaherty E. A., Brooke J., Coster S. S., Lathrop R. G., Russell K., Bogan D. A., Shamon H., Rooney B., Rockhill A., Lonsinger R. C., O'Mara M. T., Compton J. A., Barthelmess E. L., Andy K. E., Belant J. L., Petroelje T., Wehr N. H., Beyer D. E., Scognamillo D. G., Schalk C., Day K., Ellison C. N., Ruthven C., Nunley B., Fritts S., Whittier C. A., Neiswenter S. A., Pelletier R., DeGregorio B. A., Kuprewicz E. K., Davis M. L., Baruzzi C., Lashley M. A., McDonald B., Mason D., Risch D. R., Allen M. L., Whipple L. S., Sperry J. H., Alexander E., Wolff P. J., Hagen R. H., Mortelliti A., Bolinjcar A., Wilson A. M., Van Norman S., Powell C., Coletto H., Schauss M., Bontrager H., Beasley J., Ellis-Felege S. N., Wehr S. R., Giery S. T., Pekins C. E., LaRose S. H., Revord R. S., Hansen C. P., Hansen L., Millspaugh J. J., Zorn A., Gerber B. D., Rezendes K., Adley J., Sevin J., Green A. M., Sekercioglu C. H., Pendergast M. E., Mullen K., Bird T., Edelman A. J., Romero A., O'Neill B. J., Schmitz N., Vandermus R. A., Alston J. M., Kuhn K. M., Hasstedt S. C., Lesmeister D. B., Appel C. L., Rota C., Stenglein J. L., Anhalt-Depies C., Nelson C. L., Long R. A., Remine K. R., Jordan M. J., Elbroch L. M., Bergman D., Cendejas-Zarelli S., Sager-Fradkin K., Conner M., Morris G., Parsons E., Hernandez-Yanez H., McShea W. J.

المساهمون: Kays, R., Cove, M. V., Diaz, J., Todd, K., Bresnan, C., Snider, M., Lee, T. E., Jasper, J. G., Douglas, B., Crupi, A. P., Weiss, K. C. B., Rowe, H., Sprague, T., Schipper, J., Lepczyk, C. A., Fantle-Lepczyk, J. E., Davenport, J., Zimova, M., Farris, Z., Williamson, J., Fisher-Reid, M. C., Rezendes, D., King, S. M., Chrysafis, P., Jensen, A. J., Jachowski, D. S., King, K. C., Herrera, D. J., Moore, S., van der Merwe, M., Lombardi, J. V., Sergeyev, M., Tewes, M. E., Horan, R. V., Rentz, M. S., Driver, A., Brandt, L. R. S. E., Nagy, C., Alexander, P., Maher, S. P., Darracq, A. K., Barr, E. G., Hess, G., Webb, S. L., Proctor, M. D., Vanek, J. P., Lafferty, D. J. R., Hubbard, T., Jimenez, J. E., Mccain, C., Favreau, J., Fogarty, J., Hill, J., Hammerich, S., Gray, M., Rega-Brodsky, C. C., Durbin, C., Flaherty, E. A., Brooke, J., Coster, S. S., Lathrop, R. G., Russell, K., Bogan, D. A., Shamon, H., Rooney, B., Rockhill, A., Lonsinger, R. C., O'Mara, M. T., Compton, J. A., Barthelmess, E. L., Andy, K. E., Belant, J. L., Petroelje, T., Wehr, N. H., Beyer, D. E., Scognamillo, D. G., Schalk, C., Day, K., Ellison, C. N., Ruthven, C., Nunley, B., Fritts, S., Whittier, C. A., Neiswenter, S. A., Pelletier, R., Degregorio, B. A., Kuprewicz, E. K., Davis, M. L., Baruzzi, C., Lashley, M. A., Mcdonald, B., Mason, D., Risch, D. R., Allen, M. L., Whipple, L. S., Sperry, J. H., Alexander, E., Wolff, P. J., Hagen, R. H., Mortelliti, A., Bolinjcar, A., Wilson, A. M., Van Norman, S., Powell, C., Coletto, H., Schauss, M., Bontrager, H., Beasley, J., Ellis-Felege, S. N., Wehr, S. R., Giery, S. T., Pekins, C. E., Larose, S. H., Revord, R. S., Hansen, C. P., Hansen, L., Millspaugh, J. J., Zorn, A., Gerber, B. D., Rezendes, K., Adley, J., Sevin, J., Green, A. M., Sekercioglu, C. H., Pendergast, M. E., Mullen, K., Bird, T., Edelman, A. J., Romero, A., O'Neill, B. J., Schmitz, N., Vandermus, R. A., Alston, J. M., Kuhn, K. M., Hasstedt, S. C., Lesmeister, D. B., Appel, C. L., Rota, C., Stenglein, J. L., Anhalt-Depies, C., Nelson, C. L., Long, R. A., Remine, K. R., Jordan, M. J., Elbroch, L. M., Bergman, D., Cendejas-Zarelli, S., Sager-Fradkin, K., Conner, M., Morris, G., Parsons, E., Hernandez-Yanez, H., Mcshea, W. J.

المصدر: ORCID

مصطلحات موضوعية: United State, Carnivora, Wild, mammal, Animals, Wild, Didelphimorphia, species distribution modeling, Birds, Bird, camera traps, biodiversity, biogeography, Cetartiodactyla, Lagomorpha, mammals, occupancy modeling, Animals, Humans, Mammals, Pandemics, United States, COVID-19, Ecology, Evolution, Behavior and Systematics, Pandemic, camera trap, Animal, Human

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::17a94ab19ad3162f38c33758fcdf9619
https://doi.org/10.1002/ecy.3775

المؤلفون: Boudet, A., Jouannaud, J.-P., Schmidt-Schauss, M.

المصدر: [1988] Proceedings. Third Annual Symposium on Logic in Computer Science Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on. :121-130 1988

Relation: Proceedings Third Annual Symposium on Logic in Computer Science

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Kop, C.L.M., van Raamsdonk, F., Schmidt-Schauß, M.

المساهمون: Schmidt-Schauß, M., Theoretical Computer Science, Network Institute

المصدر: Kop, C L M & van Raamsdonk, F 2011, Higher Order Dependency Pairs for Algebraic Functional Systems . in M Schmidt-Schauß (ed.), Proc. 22th Conference on Rewriting Techniques and Applications . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, pp. 203-218, Rewriting Techniques and Applications, 1/01/11 . https://doi.org/10.4230/LIPIcs.RTA.2011.203
Proc. 22th Conference on Rewriting Techniques and Applications, 203-218
STARTPAGE=203;ENDPAGE=218;TITLE=Proc. 22th Conference on Rewriting Techniques and Applications

مصطلحات موضوعية: 000 Computer science, knowledge, general works, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b23e456fa1e81a34542e2dfcc3cdf62

المؤلفون: Ohlbach, H. J., Schmidt-Schauss, M.

المصدر: Journal of Automated Reasoning. September 1985 1(3):327-332

المؤلفون: Schmidt-Schauss, M., David Sabel, Machkasova, E.

المصدر: Scopus-Elsevier

مصطلحات موضوعية: 000 Computer science, knowledge, general works, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Computer Science, Computer Science::Programming Languages, ddc:004, Formale Semantik, Lambda-Kalkül

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::68afb57fe7028e64eb74124b61ec19d7
http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/7828

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.