1.

Record Nr.

UNINA9910698200103321

Autore

Le Calvin

Titolo

Numerical modeling of the airborne radar signature of dismount personnel in the UHF-, L-, Ku-, and Ka-bands [[electronic resource] /] / Calvin Le and Traian Dogaru

Pubbl/distr/stampa

Adelphi, MD : , : Army Research Laboratory, , [2007]

Descrizione fisica

vi, 21 pages : digital, PDF file

Collana

ARL-TR ; ; 4336

Altri autori (Persone)

DogaruTraian <1966->

Soggetti

Radar - Data processing

Optical pattern recognition

Radar targets

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Title from title screen (viewed March 4, 2009).

"December 2007."

Nota di bibliografia

Includes bibliographical references (pages 18-19).



2.

Record Nr.

UNICAMPANIAVAN00298387

Autore

Wansing, Heinrich

Titolo

Displaying Modal Logic / Heinrich Wansing

Pubbl/distr/stampa

Dordrecht, : Springer, : Kluwer, 1998

Descrizione fisica

xi, 252 p. ; 24 cm

Soggetti

03-XX - Mathematical logic and foundations [MSC 2020]

03B44 - Temporal logic [MSC 2020]

03B45 - Modal logic (including the logic of norms) [MSC 2020]

03B47 - Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) [MSC 2020]

03B53 - Paraconsistent logics [MSC 2020]

03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia