skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Interpreted synchronous extension of time Petri nets: Definition, semantics and formal analysis
Material Type:
Artigo
Adicionar ao Meu Espaço

Interpreted synchronous extension of time Petri nets: Definition, semantics and formal analysis

Godary-Dejean, Karen ; Leroux, Hélène ; Andreu, David

Discrete event dynamic systems, 2022-03, Vol.32 (1), p.27-64 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

2
Formal Semantics and Pragmatics for Natural Language Querying
Formal Semantics and Pragmatics for Natural Language Querying
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Semantics and Pragmatics for Natural Language Querying

James Clifford

Cambridge Cambridge University Press 1990

Acesso online. A biblioteca também possui exemplares impressos.

3
K‐Go: An executable formal semantics of Go language in K framework
Material Type:
Artigo
Adicionar ao Meu Espaço

K‐Go: An executable formal semantics of Go language in K framework

Zhao, Can ; Liu, Qin ; Hu, Zonghua ; Yu, Ze ; Wang, Dejun ; Meng, Bo

IET blockchain, 2023-06, Vol.3 (2), p.61-73 [Periódico revisado por pares]

Texto completo disponível

4
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization
Material Type:
Artigo
Adicionar ao Meu Espaço

Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization

Misirli, Goksel ; Cavaliere, Matteo ; Waites, William ; Pocock, Matthew ; Madsen, Curtis ; Gilfellon, Owen ; Honorato-Zimmer, Ricardo ; Zuliani, Paolo ; Danos, Vincent ; Wipat, Anil

Bioinformatics, 2016-03, Vol.32 (6), p.908-917 [Periódico revisado por pares]

England: Oxford University Press (OUP)

Texto completo disponível

5
Formal semantics of Natural Language: Papers from a colloquium sponsored by the King's College Research Centre, Cambridge
Material Type:
Livro
Adicionar ao Meu Espaço

Formal semantics of Natural Language: Papers from a colloquium sponsored by the King's College Research Centre, Cambridge

Cambridge Colloquium on Formal Semantics of Natural Language Edward Louis Keenan; King's College (University of Cambridge).

Cambridge University Press 1975

Acesso online

6
Formal Syntax and Semantics of Java
Formal Syntax and Semantics of Java
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Syntax and Semantics of Java

Jim Alves-Foss James Alves-Foss; Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1999

Acesso online. A biblioteca também possui exemplares impressos.

7
Formal semantics of OMG’s Interaction Flow Modeling Language (IFML) for mobile and rich-client application model driven development
Material Type:
Artigo
Adicionar ao Meu Espaço

Formal semantics of OMG’s Interaction Flow Modeling Language (IFML) for mobile and rich-client application model driven development

Bernaschina, Carlo ; Comai, Sara ; Fraternali, Piero

The Journal of systems and software, 2018-03, Vol.137, p.239-260 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

8
From formal semantics to transcendental pragmatics: Karl-Otto Apel’s original insight
Material Type:
Artigo
Adicionar ao Meu Espaço

From formal semantics to transcendental pragmatics: Karl-Otto Apel’s original insight

Habermas, Jürgen

Philosophy & social criticism, 2020-07, Vol.46 (6), p.627-650 [Periódico revisado por pares]

London, England: SAGE Publications

Texto completo disponível

9
Distributional formal semantics
Material Type:
Artigo
Adicionar ao Meu Espaço

Distributional formal semantics

Venhuizen, Noortje J. ; Hendriks, Petra ; Crocker, Matthew W. ; Brouwer, Harm

Information and computation, 2022-09, Vol.287, p.104763, Article 104763 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

10
Formal semantics
Material Type:
Livro
Adicionar ao Meu Espaço

Formal semantics

Portner, Paul ; Partee, Barbara H

2002

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (284.354)
  2. Revistas revisadas por pares (204.185)
  3. Disponível na Biblioteca (85)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (210.294)
  2. Anais de Congresso  (31.539)
  3. Book Chapters  (18.495)
  4. Resenhas  (7.686)
  5. Verbetes  (6.183)
  6. Livros  (3.264)
  7. magazinearticle  (2.907)
  8. Newsletter Articles  (2.143)
  9. Reports  (746)
  10. Dissertações  (620)
  11. Artigos de Jornal  (150)
  12. Conjunto de Dados  (125)
  13. Web Resources  (80)
  14. Recursos Textuais  (62)
  15. Standards  (56)
  16. Produções Acadêmicas  (39)
  17. Outros  (39)
  18. Videos  (12)
  19. Imagens  (7)
  20. Produções Técnicas  (2)
  21. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1960  (925)
  2. 1960Até1975  (3.959)
  3. 1976Até1991  (13.767)
  4. 1992Até2008  (71.407)
  5. Após 2008  (197.258)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (277.158)
  2. Japonês  (9.131)
  3. Português  (5.085)
  4. Espanhol  (3.397)
  5. Alemão  (1.830)
  6. Francês  (917)
  7. Russo  (442)
  8. Norueguês  (267)
  9. Italiano  (244)
  10. Catalão  (230)
  11. Africâner  (173)
  12. Polonês  (122)
  13. Chinês  (120)
  14. Tcheco  (106)
  15. Árabe  (87)
  16. Romeno  (84)
  17. Eslovaco  (65)
  18. Turco  (60)
  19. Croatian  (60)
  20. Ucraniano  (52)
  21. Indeterminado  (5)
  22. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Muller, A
  2. Universidade Estadual De Campinas
  3. Santos, B
  4. Santana, M
  5. Lappin, S

Buscando em bases de dados remotas. Favor aguardar.