Skip to main content
Agasti Knowledge Resource Centre
Lists
Public lists
Indian Knowledge System Book List
Special/Rare Books Collection
Faculty Publications
Maharaja Sayajirao Gaikwad Special Collection
Magazines
Special Collection
Research Journals
List of Subscribed Journals
790 Sports, Yoga, Physical Education
491 / 891 Hindi Language / Hindi Literature
View all
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
Search the catalog by:
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Search the catalog by keyword
All libraries
BBABCABCS Library
BBABCABCS TEXT BOOK LIBRARY
Central Library
Chemistry Departmental Library
Directory of Open Access Books (DOAB)
JR COLLEGE TEXTBOOK LIBRARY
Junior College Library
Nalanda Library
Physics Departmental Library
Police Training Center
Post Graduate Library
SR COLLEGE TEXT BOOK LIBRARY
Departmental Libraries
Advanced search
Course reserves
Tag cloud
Subject cloud
Most popular
Libraries
Log in to your account
Card number or username:
Password:
Home
Advanced search
Results of search for 'su:"formal semantics"'
Refine your search
Availability
Limit to records with available items
Authors
Balogh, Kata
Brasoveanu, Adrian
Dotlačil, Jakub
Lochbihler, Andreas
Petersen, Wiebke
Roussarie, Laurent
Wasserrab, Daniel
Show more
Show less
Topics
linguistics
Philosophy of langua...
Psycholinguistics
Semantics, discourse...
Your search returned 5 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to list
Public lists
Wine Tech Book List
New list
Place hold
Tag
New tag:
(done)
Tag status here.
Results
1.
Image from Amazon.com
Computational Cognitive Modeling and Linguistic Theory
by
Brasoveanu, Adrian
[auth]
Dotlačil, Jakub
[auth]
Material type:
Article
Language:
English
Publication details:
Springer Nature
2020
Online resources:
DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication
Availability:
No items available.
Place hold
Log in to add tags
Save to lists
2.
Sémantique formelle: Volume 1 : Introduction à la grammaire de Montague
by
Roussarie, Laurent
[auth]
Material type:
Article
Language:
French
Publication details:
Language Science Press
2017
Online resources:
DOAB: download the publication
DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication
Availability:
No items available.
Place hold
Log in to add tags
Save to lists
3.
Image from Amazon.com
Bridging Formal and Conceptual Semantics : Selected papers of BRIDGE-14
by
Balogh, Kata
[edt]
Petersen, Wiebke
[edt]
Balogh, Kata
[oth]
Petersen, Wiebke
[oth]
Material type:
Article
Language:
English
Publication details:
De Gruyter
2017
Online resources:
DOAB: download the publication
DOAB: description of the publication
Availability:
No items available.
Place hold
Log in to add tags
Save to lists
4.
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
by
Wasserrab, Daniel
[auth]
Material type:
Article
Language:
English
Publication details:
KIT Scientific Publishing
2011
Online resources:
DOAB: download the publication
DOAB: description of the publication
Availability:
No items available.
Place hold
Log in to add tags
Save to lists
5.
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
by
Lochbihler, Andreas
[auth]
Material type:
Article
Language:
English
Publication details:
KIT Scientific Publishing
2012
Online resources:
DOAB: download the publication
DOAB: description of the publication
Availability:
No items available.
Place hold
Log in to add tags
Save to lists
